SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.

Maarten Marin, Johan Wittocx, Marc Denecker, Maurice Bruynooghe

Browse the full SAT paper archive.