Keyword:constraint satisfaction

Papers
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract) Emilio Gamba, Bart Bogaerts and Tias Guns EasyChair Preprint no. 8773
Reconstructing in the Constraint Satisfaction Problem Evgeny Dantsin In:ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia
Decidable Inequalities over Infinite Trees Sabine Bauer, Steffen Jost and Martin Hofmann In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns Richard Wallace In:GCAI-2018. 4th Global Conference on Artificial Intelligence
Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems Eugene Freuder and Richard Wallace In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Decidable linear list constraints Sabine Bauer and Martin Hofmann In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SAT-Based Techniques for Integer Linear Constraints Robert Nieuwenhuis In:GCAI 2015. Global Conference on Artificial Intelligence