Keyword:constraint satisfaction

Papers
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