11. SAT 2008:
Guangzhou, China Hans Kleine Büning , Xishun Zhao (Eds.):
Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings.
Lecture Notes in Computer Science 4996 Springer 2008, ISBN 978-3-540-79718-0
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Armin Biere :
Adaptive Restart Strategies for Conflict Driven SAT Solvers.
28-33
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:
Yong Gao :
Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms.
91-104
export record as
dblp key:
export record as
dblp key:
Eugene Goldberg :
A Decision-Making Procedure for Resolution-Based SAT-Solvers.
119-132
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:
conf/sat/Marques-SilvaM08 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
