An Effective Algorithm for the Futile Questioning Problem Anja RemshagenKlaus Truemper OriginalPaper Pages: 31 - 47
A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership Domenico CantoneCalogero G. ZarbaRosa Ruggeri Cannata OriginalPaper Pages: 49 - 72
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers Bernard JurkowiakChu Min LiGil Utard OriginalPaper Pages: 73 - 101