Satisfiability in the Year 2000
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation*
SAT-Based Decision Procedures for Classical Modal Logics
Evaluating Optimized Decision Procedures for Propositional Modal K (m) Satisfiability
Using Resolution for Testing Modal Satisfiability and Building Models
Erratum