Stochastic Boolean Satisfiability Michael L. LittmanStephen M. MajercikToniann Pitassi OriginalPaper Pages: 251 - 296
An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic Guido Fiorino OriginalPaper Pages: 297 - 311