12. SAT 2010:
Edinburgh, UK Ofer Strichman , Stefan Szeider (Eds.):
Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings.
Lecture Notes in Computer Science 6175 Springer 2010, ISBN 978-3-642-14185-0 Invited Talks
export record as
dblp key:
Yehuda Naveh :
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.
1-7
export record as
dblp key:
Regular Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/sat/BeyersdorffMMTV10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mladen Nikolic :
Statistical Methodology for Comparison of SAT Solvers.
209-222
export record as
dblp key:
export record as
dblp key:
conf/sat/PeschieraPTBKL10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Short Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Scott Cotton :
Two Techniques for Minimizing Resolution Proofs.
306-312
export record as
dblp key:
export record as
dblp key:
Rüdiger Ehlers :
Minimising Deterministic Büchi Automata Precisely Using SAT Solving.
326-332
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
