Journals in DBLP

J. Autom. Reasoning
2002, volume: 28, number: 2

1. Ian P. Gent, Toby Walsh
   Satisfiability in the Year 2000. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:2, pp:99- [Journal]
   
2. Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi
   An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:2, pp:101-142 [Journal]
   
3. Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia
   SAT-Based Decision Procedures for Classical Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:2, pp:143-171 [Journal]
   
4. Ian Horrocks, Peter F. Patel-Schneider
   Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:2, pp:173-204 [Journal]
   
5. Ullrich Hustadt, Renate A. Schmidt
   Using Resolution for Testing Modal Satisfiability and Building Models. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2002, v:28, n:2, pp:205-232 [Journal]