Title: SAT(ID): Satisfiability of propositional logic extended with inductive definitions
Authors: MariĆ«n, Maarten ×
Wittocx, Johan
Denecker, Marc
Bruynooghe, Maurice #
Issue Date: May-2008
Publisher: Springer
Series Title: Lecture notes in computer science vol:4996 pages:211-224
Conference: SAT 2008 - Theory and Applications of Satisfiability Testing edition:11 location:Guangzhou, P. R. China date:12-15 May 2008
Abstract: We investigate the satisfiability problem, SAT(ID), of an extension of propositional logic with inductive definitions. We demonstrate how to extend existing SAT solvers to become SAT(ID) solvers, and provide an implementation on top of MiniSat. We also report on a performance study, in which our implementation exhibits the expected benefits: full use of the underlying SAT solver's potential.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
submitted_version.pdfMain article Submitted 242KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science