Pages that link to "Item:Q5424882"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424882):
Displaying 12 items.
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- <tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming (Q2931265) (← links)
- Integrating Inductive Definitions in SAT (Q3498482) (← links)
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (Q3502709) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- Theory and Applications of Satisfiability Testing (Q5325865) (← links)
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (Q5504654) (← links)
- Abstract Answer Set Solvers (Q5504668) (← links)
- Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution (Q5894155) (← links)