Pages that link to "Item:Q5425404"
From MaRDI portal
The following pages link to Conflict-Driven Answer Set Enumeration (Q5425404):
Displayed 23 items.
- Boolean lexicographic optimization: algorithms \& applications (Q421451) (← links)
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Knowledge-based multi-criteria optimization to support indoor positioning (Q421460) (← links)
- Loop-separable programs and their first-order definability (Q543631) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Generalized \(k\)-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation (Q714020) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Gearing Up for Effective ASP Planning (Q2900527) (← links)
- Toward Question Answering in Travel Domains (Q2900529) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- Integrating Inductive Definitions in SAT (Q3498482) (← links)
- Dealing Automatically with Exceptions by Introducing Specificity in ASP (Q3638184) (← links)
- Constraint Answer Set Solving (Q4649733) (← links)
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (Q4649734) (← links)
- Multi-threaded ASP solving with clasp (Q4911132) (← links)
- Engineering an Incremental ASP Solver (Q5504656) (← links)