Solution Techniques for Constraint Satisfaction Problems: Foundations
Artificial Intelligence Review
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Optimal Distributed Arc-Consistency
Constraints
Constraint Programming Based Column Generation for Crew Assignment
Journal of Heuristics
Solving multi-granularity temporal constraint networks
Artificial Intelligence
Parallel Implementation of Constraint Solving
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
Labeling and Partial Local Consistency for Soft Constraint Programming
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Dynamic CSPs for Interval-Based Temporal Reasoning
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Distributed Reinforcement of Arc-Consistency
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Boosting Search with Variable Elimination
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Inferring Constraint Types in Constraint Programming
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A Strong Local Consistency for Constraint Satisfaction
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
From type inference to configuration
The essence of computation
Constraint satisfaction algorithms for graph pattern matching
Mathematical Structures in Computer Science
Hard, flexible and dynamic constraint satisfaction
The Knowledge Engineering Review
Dealing with incomplete knowledge on CLP(FD) variable domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient consistency algorithm for the temporal constraint satisfaction problem
AI Communications - Special issue on: Spatial and temporal reasoning
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
AI Communications - Spatial and Temporal Reasoning
Theoretical analysis of singleton arc consistency and its extensions
Artificial Intelligence
A logical approach to efficient Max-SAT solving
Artificial Intelligence
International Journal of Computational Science and Engineering
Efficient Handling of Relational Database Combinatorial Queries Using CSPs
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Qualitative spatial relationships for image interpretation by using a conceptual graph
Image and Vision Computing
Enhancing constraints manipulation in semiring-based formalisms
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
New inference rules for efficient Max-SAT solving
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Arc-Consistency Checking with Bilevel Constraints: An Optimization
GbRPR '09 Proceedings of the 7th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
A fast arc consistency algorithm for n-ary constraints
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
MUSE CSP: an extension to the constraint satisfaction problem
Journal of Artificial Intelligence Research
Using pivot consistency to decompose and solve functional CSPS
Journal of Artificial Intelligence Research
Propagate the right thing: how preferences can speed-up constraint solving
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
GSTP: a temporal reasoning system supporting multi-granularity temporal constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Refining the basic constraint propagation algorithm
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Making AC-3 an optimal algorithm
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Optimal and suboptimal singleton arc consistency algorithms
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
AC3-OP: An Arc-Consistency Algorithm for Arithmetic Constraints
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Communicating sequential processes for distributed constraint satisfaction
Information Sciences: an International Journal
Constraints
Qualitative spatial relationships for image interpretation by using semantic graph
GbRPR'07 Proceedings of the 6th IAPR-TC-15 international conference on Graph-based representations in pattern recognition
Detecting unsatisfiable CSPs by coloring the micro-structure
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Path-consistency: when space misses time
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Generalized arc consistency for global cardinality constraint
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A simple way to improve path consistency processing in interval algebra networks
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Maintaining Arc Consistency in Non-Binary Dynamic CSPs using Simple Tabular Reduction
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Computers and Industrial Engineering
Algorithms and constraint programming
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Watched literals for constraint propagation in minion
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Combining arc-consistency and dual lagrangean relaxation for filtering CSPs
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems
International Journal of Applied Mathematics and Computer Science
Adaptive pyramid and semantic graph: knowledge driven segmentation
GbRPR'05 Proceedings of the 5th IAPR international conference on Graph-Based Representations in Pattern Recognition
A system prototype for solving multi-granularity temporal CSP
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
Domain consistency with forbidden values
Constraints
Hi-index | 0.00 |