HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2022 easychair.org. All rights reserved.