A backjumping technique for disjunctive logic programming

MaRDI QIDQ5490663zbMATH OpenFDO

Authors F. Ricca, Wolfgang Faber, N. Leone

Publication date 4 October 2006

zbMATH Keywords

experimentsstable modelsLogic programmingbackjumping

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Enhancing DLV instantiator by backjumping techniques
• On look-ahead heuristics in disjunctive logic programming
• Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
• Enhancing disjunctive logic programming systems by SAT checkers
• scientific article; zbMATH DE number 1926616

Cited in

(7)

• Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
• On the relation among answer set solvers
• Quasi-classical reasoning in paraconsistent databases
• Conflict-driven answer set solving: from theory to practice
• Enhancing DLV instantiator by backjumping techniques
• Backjumping for quantified Boolean logic satisfiability
• On look-ahead heuristics in disjunctive logic programming

Describes a project that uses

Uses Software

• Chaff

This page was built for publication: A backjumping technique for disjunctive logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5490663)