The following pages link to Constraint Answer Set Solving (Q4649733):
Displayed 5 items.
- Hybrid answer set programming (Q392277) (← links)
- Weight constraint programs with evaluable functions (Q645084) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← 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)