Volume 28, Issue 2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 28, Issue 2

February 2002

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Satisfiability in the Year 2000
Ian P. Gent
Toby Walsh
OriginalPaper Pages: 99 - 99
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation
Marco Cadoli
Marco Schaerf
Massimo Giovanardi
OriginalPaper Pages: 101 - 142
SAT-Based Decision Procedures for Classical Modal Logics
Enrico Giunchiglia
Armando Tacchella
Fausto Giunchiglia
OriginalPaper Pages: 143 - 171
Evaluating Optimized Decision Procedures for Propositional Modal K _(m) Satisfiability
Ian Horrocks
Peter F. Patel-Schneider
OriginalPaper Pages: 173 - 204
Using Resolution for Testing Modal Satisfiability and Building Models
Ullrich Hustadt
Renate A. Schmidt
OriginalPaper Pages: 205 - 232
Erratum

Erratum Pages: 233 - 233