Sciweavers

    159 search results - page 4 / 32
    » On the Complexity of SAT
    Sort
    View
    FOCS
    2003
    IEEE
    96views Theoretical Computer Science» more  FOCS 2003»
    Algorithms and Complexity Results for #SAT and Bayesian Inference
    14 years 1 months ago
    Algorithms and Complexity Results for #SAT and Bayesian Inference
    Download  www.cs.toronto.edu
    Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
    claim paper
    Read More »
    COCO
    2003
    Springer
    98views Algorithms» more  COCO 2003»
    The Complexity of Unique k-SAT: An Isolation Lemma for k-CNFs
    14 years 1 months ago
    The Complexity of Unique k-SAT: An Isolation Lemma for k-CNFs
    Download  www.ti.inf.ethz.ch
    Chris Calabro, Russell Impagliazzo, Valentine Kaba...
    claim paper
    Read More »
    FOCS
    1999
    IEEE
    103views Theoretical Computer Science» more  FOCS 1999»
    On the Complexity of SAT
    14 years 25 days ago
    On the Complexity of SAT
    Download  www.it.usyd.edu.au
    We show1 that non-deterministic time NTIME(n) is not contained in deterministic time n 2and polylogarithmic space, for any > 0. This implies that (infinitely often) satisfiabi...
    Richard J. Lipton, Anastasios Viglas
    claim paper
    Read More »
    IMECS
    2007
    135views Theoretical Computer Science» more  IMECS 2007»
    Complexity Considerations, cSAT Problem Lower Bound
    13 years 10 months ago
    Complexity Considerations, cSAT Problem Lower Bound
    Download  www.teycom.pl
    Radoslaw Hofman
    claim paper
    Read More »
    COCO
    2005
    Springer
    89views Algorithms» more  COCO 2005»
    Hardness of Max 3SAT with No Mixed Clauses
    14 years 2 months ago
    Hardness of Max 3SAT with No Mixed Clauses
    Download  www.cs.nyu.edu
    We study the complexity of approximating Max NME3SAT, a variant of Max 3SAT when the instances are guaranteed to not have any mixed clauses, i.e., every clause has either all its ...
    Venkatesan Guruswami, Subhash Khot
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.