An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation Marco CadoliMarco SchaerfMassimo Giovanardi OriginalPaper Pages: 101 - 142
SAT-Based Decision Procedures for Classical Modal Logics Enrico GiunchigliaArmando TacchellaFausto Giunchiglia OriginalPaper Pages: 143 - 171
Evaluating Optimized Decision Procedures for Propositional Modal K (m) Satisfiability Ian HorrocksPeter F. Patel-Schneider OriginalPaper Pages: 173 - 204
Using Resolution for Testing Modal Satisfiability and Building Models Ullrich HustadtRenate A. Schmidt OriginalPaper Pages: 205 - 232