Recognizing and interpreting diagrams in design
AVI '94 Proceedings of the workshop on Advanced visual interfaces
On the minimality and global consistency of row-convex constraint networks
Journal of the ACM (JACM)
The program understanding problem: analysis and a heuristic approach
Proceedings of the 18th international conference on Software engineering
A Parallel Algorithm for Graph Matching and Its MasPar Implementation
IEEE Transactions on Parallel and Distributed Systems
Closure properties of constraints
Journal of the ACM (JACM)
A generic customizable framework for inverse local consistency
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Functional elimination and 0/1/All constraints
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Building tractable disjunctive constraints
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
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
Automated Software Engineering
Constraint Programming Based Column Generation for Crew Assignment
Journal of Heuristics
Predictive Personnel Management
IEEE Intelligent Systems
Permutation Problems and Channelling Constraints
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
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
Exploiting Efficient Control and Data Structures in Logic Programs
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
On Algorithms for Decomposable Constraints
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
A Generic Object-Oriented Constraint-Based Model for University Course Timetabling
PATAT '00 Selected papers from the Third International Conference on Practice and Theory of Automated Timetabling III
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Constrained-Based Problem Decomposition for a Key Configuration Problem
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Compiling Semiring-Based Constraints with clp (FD, S)
CP '98 Proceedings of the 4th 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
A Global Constraint Combining a Sum Constraint and Difference Constraints
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
Inferring Constraint Types in Constraint Programming
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Arc Consistency Algorithms via Iterations of Subsumed Functions
CL '00 Proceedings of the First International Conference on Computational Logic
Gaining Control over Time in Workflow Management Applications
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Incrementally solving functional constraints
Eighteenth national conference on Artificial intelligence
Program understanding as constraint satisfaction
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
From type inference to configuration
The essence of computation
Advances in evolutionary computing
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Dealing with incomplete knowledge on CLP(FD) variable domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new tractable class of constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence
Nurse rostering using constraint programming and meta-level reasoning
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
A dichotomy theorem for constraint satisfaction problems on a 3-element set
Journal of the ACM (JACM)
A new local consistency for weighted CSP dedicated to long domains
Proceedings of the 2006 ACM symposium on Applied computing
A hybrid setup for a hybrid scenario: combining heuristics for the home health care problem
Computers and Operations Research
The complexity of soft constraint satisfaction
Artificial Intelligence
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
What is decreased by the max-sum arc consistency algorithm?
Proceedings of the 24th international conference on Machine learning
Partition search for non-binary constraint satisfaction
Information Sciences: an International Journal
Solving 3-SAT using constraint programming and fail detection
AIKED'05 Proceedings of the 4th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering Data Bases
A Constraint Programming Approach to the Hospitals / Residents Problem
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Optimization of Simple Tabular Reduction for Table Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
An Elimination Algorithm for Functional Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Efficient Algorithms for Functional Constraints
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
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
Simple randomized algorithms for tractable row and tree convex constraints
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
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Dual modelling of permutation and injection problems
Journal of Artificial Intelligence Research
A maximal tractable class of soft constraints
Journal of Artificial Intelligence Research
Binary encodings of non-binary constraint satisfaction problems: algorithms and experimental results
Journal of Artificial Intelligence Research
The ultrametric constraint and its application to phylogenetics
Journal of Artificial Intelligence Research
Using pivot consistency to decompose and solve functional CSPS
Journal of Artificial Intelligence Research
Increasing functional constraints need to be checked only once
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A maximal tractable class of soft constraints
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Bounds arc consistency for weighted CSPs
Journal of Artificial Intelligence Research
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
Value ordering for finding all solutions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Constraints, consistency and closure
Artificial Intelligence
The complexity of soft constraint satisfaction
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
Constraint-based rostering using meta-level reasoning and probability-based ordering
Engineering Applications of Artificial Intelligence
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
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
Using constraints to model disjunctions in rule-based reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Arc-consistency and arc-consistency again
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Integrating heuristics for constraint satisfaction problems: a case study
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
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
Domain consistency with forbidden values
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
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
Solving functional constraints by variable substitution
Theory and Practice of Logic Programming
Integrating strong local consistencies into constraint solvers
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
New model and heuristics for safety stock placement in general acyclic supply chain networks
Computers and Operations Research
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Generalized arc consistency for positive table constraints
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Combination of among and cardinality constraints
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
On the tractability of smooth constraint satisfaction problems
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
A specialised binary constraint for the stable marriage problem
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
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
Model driven image segmentation using a genetic algorithm for structured data
HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part I
A generalized arc-consistency algorithm for a class of counting constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
An efficient algorithm for a class of constraint satisfaction problems
Operations Research Letters
Castor: a constraint-based SPARQL engine with active filter processing
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
An optimal filtering algorithm for table constraints
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Time-Dependent simple temporal networks
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Domain consistency with forbidden values
Constraints
Hi-index | 0.00 |