Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction Steven SchockaertJeroen JanssenDirk Vermeir OriginalPaper 03 May 2011 Pages: 493 - 550
PSPACE Tableau Algorithms for Acyclic Modalized \(\boldsymbol{\mathcal{ALC}}\) Jia TaoGiora SlutzkiVasant Honavar OriginalPaper 09 July 2011 Pages: 551 - 582
Simulating Circuit-Level Simplifications on CNF Matti JärvisaloArmin BiereMarijn J. H. Heule OriginalPaper 03 November 2011 Pages: 583 - 619