Search dblp for Publications

export results for "toc:db/conf/sat/sat2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sat/BalintF10,
  author    = {Adrian Balint and
               Andreas Fr{\"{o}}hlich},
  title     = {Improving Stochastic Local Search for {SAT} with a New Probability
               Distribution},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {10--15},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/BelovS10,
  author    = {Anton Belov and
               Zbigniew Stachniak},
  title     = {Improved Local Search for Circuit Satisfiability},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {293--299},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/Ben-SassonJ10,
  author    = {Eli Ben{-}Sasson and
               Jan Johannsen},
  title     = {Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {16--29},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/BeyersdorffMMTV10,
  author    = {Olaf Beyersdorff and
               Arne Meier and
               Sebastian M{\"{u}}ller and
               Michael Thomas and
               Heribert Vollmer},
  title     = {Proof Complexity of Propositional Default Logic},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {30--43},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/BofillSV10,
  author    = {Miquel Bofill and
               Josep Suy and
               Mateu Villaret},
  title     = {A System for Solving Constraint Satisfaction Problems with {SMT}},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {300--305},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/BoufkhadH10,
  author    = {Yacine Boufkhad and
               Thomas Hugel},
  title     = {Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {99--112},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/BrummayerLB10,
  author    = {Robert Brummayer and
               Florian Lonsing and
               Armin Biere},
  title     = {Automated Testing and Debugging of {SAT} and {QBF} Solvers},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {44--57},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/BubeckB10,
  author    = {Uwe Bubeck and
               Hans Kleine{ }B{\"{u}}ning},
  title     = {Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals
               into Existential 2-HORN},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {58--70},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/Cotton10,
  author    = {Scott Cotton},
  title     = {Two Techniques for Minimizing Resolution Proofs},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {306--312},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/DantsinW10,
  author    = {Evgeny Dantsin and
               Alexander Wolpert},
  title     = {On Moderately Exponential Time for {SAT}},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {313--325},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/Ehlers10,
  author    = {R{\"{u}}diger Ehlers},
  title     = {Minimising Deterministic B{\"{u}}chi Automata Precisely Using
               {SAT} Solving},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {326--332},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/FuhsS10,
  author    = {Carsten Fuhs and
               Peter Schneider{-}Kamp},
  title     = {Synthesizing Shortest Linear Straight-Line Programs over {GF(2)} Using
               {SAT}},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {71--84},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/GelderS10,
  author    = {Allen Van Gelder and
               Ivor T. A. Spence},
  title     = {Zero-One Designs Produce Small Hard {SAT} Instances},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {388--397},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/GiunchigliaMN10,
  author    = {Enrico Giunchiglia and
               Paolo Marin and
               Massimo Narizzano},
  title     = {sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence
               Reasoning},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {85--98},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/GoultiaevaB10,
  author    = {Alexandra Goultiaeva and
               Fahiem Bacchus},
  title     = {Exploiting Circuit Representations in {QBF} Solving},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {333--339},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/JarvisaloB10,
  author    = {Matti J{\"{a}}rvisalo and
               Armin Biere},
  title     = {Reconstructing Solutions after Blocked Clause Elimination},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {340--345},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/KatebiSM10,
  author    = {Hadi Katebi and
               Karem A. Sakallah and
               Igor L. Markov},
  title     = {Symmetry and Satisfiability: An Update},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {113--127},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/KlieberSGC10,
  author    = {William Klieber and
               Samir Sapra and
               Sicun Gao and
               Edmund M. Clarke},
  title     = {A Non-prenex, Non-clausal {QBF} Solver with Game-State Learning},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {128--142},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/Kottler10,
  author    = {Stephan Kottler},
  title     = {{SAT} Solving with Reference Points},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {143--157},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/KrocSS10,
  author    = {Lukas Kroc and
               Ashish Sabharwal and
               Bart Selman},
  title     = {An Empirical Study of Optimal Noise and Runtime Distributions in Local
               Search},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {346--351},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/Kullmann10,
  author    = {Oliver Kullmann},
  title     = {Green-Tao Numbers and {SAT}},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {352--362},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/LiMQZ10,
  author    = {Chu Min Li and
               Felip Many{\`{a}} and
               Zhe Quan and
               Zhu Zhu},
  title     = {Exact MinSAT Solving},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {363--368},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/LonsingB10,
  author    = {Florian Lonsing and
               Armin Biere},
  title     = {Integrating Dependency Schemes in Search-Based {QBF} Solvers},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {158--171},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/MakinoTY10,
  author    = {Kazuhisa Makino and
               Suguru Tamaki and
               Masaki Yamamoto},
  title     = {An Exact Algorithm for the Boolean Connectivity Problem for \emph{k}-CNF},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {172--180},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/ManquinhoML10,
  author    = {Vasco M. Manquinho and
               Ruben Martins and
               In{\^{e}}s Lynce},
  title     = {Improving Unsatisfiability-Based Algorithms for Boolean Optimization},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {181--193},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/MatthewsP10,
  author    = {William Matthews and
               Ramamohan Paturi},
  title     = {Uniquely Satisfiable \emph{k}-SAT Instances with Almost Minimal Occurrences
               of Each Variable},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {369--374},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/MillerKLB10,
  author    = {Christian Miller and
               Stefan Kupferschmid and
               Matthew D. T. Lewis and
               Bernd Becker},
  title     = {Encoding Techniques, Craig Interpolants and Bounded Model Checking
               for Incomplete Designs},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {194--208},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/NadelR10,
  author    = {Alexander Nadel and
               Vadim Ryvchin},
  title     = {Assignment Stack Shrinking},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {375--381},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/NamasivayamT10,
  author    = {Gayathri Namasivayam and
               Miroslaw Truszczynski},
  title     = {Simple but Hard Mixed Horn Formulas},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {382--387},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/Naveh10,
  author    = {Yehuda Naveh},
  title     = {The Big Deal: Applying Constraint Satisfaction Technologies Where
               It Makes the Difference},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {1--7},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/Nikolic10,
  author    = {Mladen Nikolic},
  title     = {Statistical Methodology for Comparison of {SAT} Solvers},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {209--222},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/PankratovB10,
  author    = {Denis Pankratov and
               Allan Borodin},
  title     = {On the Relative Merits of Simple Local Search Methods for the {MAX-SAT}
               Problem},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {223--236},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/Paturi10,
  author    = {Ramamohan Paturi},
  title     = {Exact Algorithms and Complexity},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {8--9},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/PeschieraPTBKL10,
  author    = {Claudia Peschiera and
               Luca Pulina and
               Armando Tacchella and
               Uwe Bubeck and
               Oliver Kullmann and
               In{\^{e}}s Lynce},
  title     = {The Seventh {QBF} Solvers Evaluation (QBFEVAL'10)},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {237--250},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/PorschenSS10,
  author    = {Stefan Porschen and
               Tatjana Schmidt and
               Ewald Speckenmeyer},
  title     = {Complexity Results for Linear XSAT-Problems},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {251--263},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/RathiARS10,
  author    = {Vishwambhar Rathi and
               Erik Aurell and
               Lars K. Rasmussen and
               Mikael Skoglund},
  title     = {Bounds on Threshold of Regular Random \emph{k}-SAT},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {264--277},
  publisher = {Springer},
  year      = {2010}
}
@inproceedings{DBLP:conf/sat/TompkinsH10,
  author    = {Dave A. D. Tompkins and
               Holger H. Hoos},
  title     = {Dynamic Scoring Functions with Variable Expressions: New {SLS} Methods
               for Solving {SAT}},
  booktitle = {{SAT}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  pages     = {278--292},
  publisher = {Springer},
  year      = {2010}
}
@proceedings{DBLP:conf/sat/2010,
  editor    = {Ofer Strichman and
               Stefan Szeider},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
               International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6175},
  publisher = {Springer},
  year      = {2010}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics