Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2023 easychair.org. All rights reserved.