The following pages link to Constraint Answer Set Solving (Q4649733):
Displaying 18 items.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- On abstract modular inference systems and solvers (Q286083) (← links)
- Hybrid answer set programming (Q392277) (← links)
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions (Q2900504) (← links)
- System aspmt2smt: Computing ASPMT Theories by SMT Solvers (Q2938519) (← links)
- aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming (Q3449196) (← links)
- Answer Set Programming Modulo Acyclicity (Q3449199) (← links)
- Clause-Learning for Modular Systems (Q3449228) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- <i>Clingcon</i>: The next generation (Q4593092) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
- Constraint CNF: SAT and CSP Language Under One Roof. (Q5240215) (← links)
