On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
From MaRDI portal
Publication:4649734
DOI10.1007/978-3-642-02846-5_23zbMATH Open1251.68059OpenAlexW1592324616MaRDI QIDQ4649734FDOQ4649734
Authors: Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub 
Publication date: 13 November 2012
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_23
Recommendations
- A new approach for weighted constraint satisfaction
- Conflict-driven ASP solving with external sources
- Computing Weighted Solutions in Answer Set Programming
- The Weighted Cfg Constraint
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- Weight-based heuristics for constraint satisfaction and combinatorial optimization problems
- Conflict generalisation in ASP: learning correct and effective non-ground constraints
- Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
Cites Work
- Theory and Applications of Satisfiability Testing
- Title not available (Why is that?)
- Extending and implementing the stable model semantics
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Weight constraints as nested expressions
- Answer set programming based on propositional satisfiability
- Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
- Conflict-Driven Answer Set Enumeration
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
Cited In (10)
- Embedding justification theory in approximation fixpoint theory
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Computing weighted solutions in ASP: representation-based method vs. search-based method
- Improving the normalization of weight rules in answer set programs
- Conflict-driven answer set solving: from theory to practice
- Ordered completion for logic programs with aggregates
- Enhancing magic sets with an application to ontological reasoning
- What is answer set programming to propositional satisfiability
- Exploiting Game Theory for Analysing Justifications
- Shared aggregate sets in answer set programming
Uses Software
This page was built for publication: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649734)
