Pages that link to "Item:Q814607"
From MaRDI portal
The following pages link to ASSAT: computing answer sets of a logic program by SAT solvers (Q814607):
Displayed 27 items.
- ASSAT (Q15063) (← links)
- A generalization of the Lin-Zhao theorem (Q854963) (← links)
- Equilibrium logic (Q854969) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- A characterization of answer sets for logic programs (Q2644415) (← links)
- Integrating Inductive Definitions in SAT (Q3498482) (← links)
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (Q3502709) (← links)
- On the Relationship between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability (Q3534675) (← links)
- Probabilistic reasoning with answer sets (Q3612603) (← links)
- Merging Belief Bases Represented by Logic Programs (Q3638164) (← links)
- Probabilistic Reasoning by SAT Solvers (Q3638188) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Some (in)translatability results for normal logic programs and propositional theories (Q3647255) (← links)
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets (Q5445291) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)
- Quo Vadis Answer Set Programming? (Q5504648) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)
- Engineering an Incremental ASP Solver (Q5504656) (← links)
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (Q5504667) (← links)
- Abstract Answer Set Solvers (Q5504668) (← links)