A backjumping technique for disjunctive logic programming
From MaRDI portal
Publication:5490663
zbMATH Open1102.68433MaRDI QIDQ5490663FDOQ5490663
Authors: F. Ricca, Wolfgang Faber, N. Leone 
Publication date: 4 October 2006
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
Uses Software
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)
