Pages that link to "Item:Q490456"
From MaRDI portal
The following pages link to Relating constraint answer set programming languages and algorithms (Q490456):
Displayed 13 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- An abstract view on optimizations in SAT and ASP (Q2055811) (← links)
- Representing Production Scheduling with Constraint Answer Set Programming (Q2806918) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← 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)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- (Q5020979) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)
- ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
- MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* (Q5140144) (← links)