
Journals in DBLP
 Henry A. Kautz, Bart Selman
The state of SAT. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2007, v:155, n:12, pp:15141524 [Journal]
 Alexis C. Kaporis, Lefteris M. Kirousis, Yannis C. Stamatiou, Malvina Vamvakari, Michele Zito
The unsatisfiability threshold revisited. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2007, v:155, n:12, pp:15251538 [Journal]
 Ilya Shlyakhter
Generating effective symmetrybreaking predicates for search problems. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2007, v:155, n:12, pp:15391548 [Journal]
 Eugene Goldberg, Yakov Novikov
BerkMin: A fast and robust Satsolver. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2007, v:155, n:12, pp:15491561 [Journal]
 Brian C. Williams, Robert J. Ragno
Conflictdirected A^{*} and its role in modelbased embedded systems. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2007, v:155, n:12, pp:15621595 [Journal]
 Kazuo Iwama, Suguru Tamaki
Exploiting partial knowledge of satisfying assignments. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2007, v:155, n:12, pp:15961603 [Journal]
 Inês Lynce, João P. Marques Silva
Random backtracking in backtrack search algorithms for satisfiability. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2007, v:155, n:12, pp:16041612 [Journal]
 Ramón Béjar, Felip Manyà, Alba Cabiscol, Cèsar Fernández, Carla P. Gomes
RegularSAT: A manyvalued approach to solving combinatorial problems. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2007, v:155, n:12, pp:16131626 [Journal]
 Delbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis
Phase transitions of PPcomplete satisfiability problems. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2007, v:155, n:12, pp:16271639 [Journal]
