14. SAT 2011:
Ann Arbor, MI, USA Karem A. Sakallah , Laurent Simon (Eds.):
Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings.
Lecture Notes in Computer Science 6695 Springer 2011, ISBN 978-3-642-21580-3 Invited Talks
export record as
dblp key:
Ryan Williams :
Connecting SAT Algorithms and Complexity Lower Bounds.
1-2
export record as
dblp key:
Koushik Sen :
Concolic Testing and Constraint Satisfaction.
3-4
Complexity Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Binary Decision Diagrams
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Shin-ichi Minato :
π DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space.
90-104
Theoretical Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/sat/SpeckenmeyerWP11
Extraction of Minimal Unsatisfiable Subsets
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
SAT Algorithms
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Quantified Boolean Formulae
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Model Enumeration, Local Search
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Empirical Evaluation
export record as
dblp key:
Allen Van Gelder :
Careful Ranking of Multiple Solvers with Timeouts and Ties.
317-328
export record as
dblp key:
Allen Van Gelder :
Generalized Conflict-Clause Strengthening for Satisfiability Solvers.
329-342
export record as
dblp key:
Extended Abstracts
export record as
dblp key:
Amir Aavani :
Translating Pseudo-Boolean Constraints into CNF.
357-359
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
