Constraint tightness and looseness versus local and global consistency
Journal of the ACM (JACM)
The role of commutativity in constraint propagation algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Resolution versus Search: Two Strategies for SAT
Journal of Automated Reasoning
A visual environment for visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Mini-buckets: A general scheme for bounded inference
Journal of the ACM (JACM)
Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Beyond NP: Arc-Consistency for Quantified Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
Locally consistent constraint satisfaction problems
Theoretical Computer Science - Automata, languages and programming: Algorithms and complexity (ICALP-A 2004)
Determining the consistency of partial tree descriptions
Artificial Intelligence
Solving quantified constraint satisfaction problems
Artificial Intelligence
Domain filtering consistencies for non-binary constraints
Artificial Intelligence
Collapsibility and consistency in quantified constraint satisfaction
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Local consistency for extended CSPs
Theoretical Computer Science
Amalgams of constraint satisfaction problems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Improved bounds on the complexity of kB-consistency
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reformulating constraint satisfaction problems to improve scalability
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Reformulating CSPs for scalability with application to geospatial reasoning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Relational consistency by constraint filtering
Proceedings of the 2010 ACM Symposium on Applied Computing
Failed value consistencies for constraint satisfaction
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Bringing Domain Knowledge to Pattern Matching
Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Integrating strong local consistencies into constraint solvers
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
A scheme for approximating probabilistic inference
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
The complexity of equality constraint languages
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Locally consistent constraint satisfaction problems with binary constraints
WG'05 Proceedings of the 31st international conference on Graph-Theoretic Concepts in Computer Science
Qualitative temporal and spatial reasoning revisited
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |