|
|
Journals in DBLP
- Ian P. Gent, Toby Walsh
Satisfiability in the Year 2000. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:1-3 [Journal]
- Miron Abramovici, José T. de Sousa
A SAT Solver Using Reconfigurable Hardware and Virtual Logic. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:5-36 [Journal]
- Etienne de Klerk, Hans van Maaren, Joost P. Warners
Relaxations of the Satisfiability Problem Using Semidefinite Programming. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:37-65 [Journal]
- Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:67-100 [Journal]
- Jan Friso Groote, Joost P. Warners
The Propositional Formula Checker HeerHugo. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:101-125 [Journal]
- Edward A. Hirsch
SAT Local Search Algorithms: Worst-Case Study. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:127-143 [Journal]
- Wolfgang Küchlin, Carsten Sinz
Proving Consistency Assertions for Automotive Product Data Management. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:145-163 [Journal]
- Fabio Massacci, Laura Marraro
Logical Cryptanalysis as a SAT Problem. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:165-203 [Journal]
- Patrick Mills, Edward P. K. Tsang
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:205-223 [Journal]
- Irina Rish, Rina Dechter
Resolution versus Search: Two Strategies for SAT. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:225-275 [Journal]
- Hantao Zhang, Mark E. Stickel
Implementing the Davis-Putnam Method. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2000, v:24, n:1/2, pp:277-296 [Journal]
|
