Synthesizing constraint expressions

Authors:
Eugene C. Freuder
Affiliations:
Univ. of New Hampshire, Durham, NH
Venue:
Communications of the ACM
Year:
1978

Citing 7
Cited 122

An Algorithm for Subgraph Isomorphism

Journal of the ACM (JACM)
New Programming Languages for Artificial Intelligence Research

ACM Computing Surveys (CSUR)
GIT—a heuristic program for testing pairs of directed line graphs for isomorphism

Communications of the ACM
The complexity of theorem-proving procedures

STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
SOME DATA BASE APPLICATIONS OF CONSTRAINT EXPRESSIONS

SOME DATA BASE APPLICATIONS OF CONSTRAINT EXPRESSIONS
Cooperative Computation of Stereo Disparity

Cooperative Computation of Stereo Disparity
Generating Semantic Descriptions From Drawings of Scenes With Shadows

Generating Semantic Descriptions From Drawings of Scenes With Shadows

A sufficient condition for backtrack-bounded search

Journal of the ACM (JACM)
A dynamic constraint-directed ordered search algorithm for solving constraint satisfaction problems

IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach

IEEE Transactions on Pattern Analysis and Machine Intelligence
On the Recognition of Curved Objects

IEEE Transactions on Pattern Analysis and Machine Intelligence
The Combinatorics of Heuristic Search Termination for Object Recognition in Cluttered Environments

IEEE Transactions on Pattern Analysis and Machine Intelligence
ConstraintLisp: an object-oriented constraint programming language

ACM SIGPLAN Notices
On binary constraint problems

Journal of the ACM (JACM)
Database querying and constraint programming

ACM SIGACT News
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra

Journal of the ACM (JACM)
On the minimality and global consistency of row-convex constraint networks

Journal of the ACM (JACM)
Constraint programming and database languages: a tutorial

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Strategic directions in constraint programming

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Constraint solving and programming: what's next?

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Semiring-based constraint satisfaction and optimization

Journal of the ACM (JACM)
A Parallel Algorithm for Graph Matching and Its MasPar Implementation

IEEE Transactions on Parallel and Distributed Systems
Constraint tightness and looseness versus local and global consistency

Journal of the ACM (JACM)
Acceleration methods of numeric CSPc

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
On the conversion between non-binary constraint satisfaction problems

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Temporal reasoning with qualitative and quantitative information about points and durations

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
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
Binary string relations: a foundation for spatiotemporal knowledge representation

Proceedings of the eighth international conference on Information and knowledge management
A Sufficient Condition for Backtrack-Free Search

Journal of the ACM (JACM)
Qualitative and quantitative time interval constraint networks

CSC '91 Proceedings of the 19th annual conference on Computer Science
Constraint satisfaction and database theory: a tutorial

PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Deformable Shape Detection and Description via Model-Based Region Grouping

IEEE Transactions on Pattern Analysis and Machine Intelligence
Solution Techniques for Constraint Satisfaction Problems: Foundations

Artificial Intelligence Review
Design visual thinking tools for mixed initiative systems

Proceedings of the 7th international conference on Intelligent user interfaces
Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning

Theoretical Computer Science
Backjump-based backtracking for constraint satisfaction problems

Artificial Intelligence
Extending constraint logic programming for temporal reasoning

Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches

Annals of Mathematics and Artificial Intelligence
Constraint Programming: Strategic Directions

Constraints
Constraint Solving and Programming: What Next?

Constraints
Temporal Constraint Satisfaction Techniques in Job ShopScheduling Problem Solving

Constraints
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties,and Comparison

Constraints
Cooperative Resolution of Over-Constrained Information Requests

Constraints
Resolution versus Search: Two Strategies for SAT

Journal of Automated Reasoning
Accelerating filtering techniques for numeric CSPs

Artificial Intelligence
Algorithms for Distributed Constraint Satisfaction: A Review

Autonomous Agents and Multi-Agent Systems
Mini-buckets: A general scheme for bounded inference

Journal of the ACM (JACM)
A Knowledge Representation for Constraint Satisfaction Problems

IEEE Transactions on Knowledge and Data Engineering
Constraint Logic Programming

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning

FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
A Note on Partial Consistencies over Continuous Domains

CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Consistency and set intersection

Eighteenth national conference on Artificial intelligence
Reduction operations in fuzzy or valued constraint satisfaction

Fuzzy Sets and Systems - Optimisation and decision
Part-selection triptych: A representation, problem properties and problem definition, and problem-solving method

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Temporal reasoning in process planning

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Bridging the gap between planning and scheduling

The Knowledge Engineering Review
Hard, flexible and dynamic constraint satisfaction

The Knowledge Engineering Review
COMPOSER: A case-based reasoning system for engineering design

Robotica
On the automatic transformation of class membership criteria

ACL '79 Proceedings of the 17th annual meeting on Association for Computational Linguistics
A Comparison between SAT and CSP Techniques

Constraints
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving

Artificial Intelligence - Special issue: Distributed constraint satisfaction
Propositional Satisfiability and Constraint Programming: A comparative survey

ACM Computing Surveys (CSUR)
Theoretical analysis of singleton arc consistency and its extensions

Artificial Intelligence
Properties of tree convex constraints

Artificial Intelligence
Modelling and solving temporal reasoning as propositional satisfiability

Artificial Intelligence
A Logical Approach to Constraint Satisfaction

Complexity of Constraints
Constraint Reasoning for Differential Models

Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
Collapsibility and consistency in quantified constraint satisfaction

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Tractable tree convex constraint networks

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Reasoning on interval and point-based disjunctive metric constraints in temporal contexts

Journal of Artificial Intelligence Research
Conflict-directed backjumping revisited

Journal of Artificial Intelligence Research
Set intersection and consistency in constraint networks

Journal of Artificial Intelligence Research
A unifying framework for structural properties of CSPs: definitions, complexity, tractabilit

Journal of Artificial Intelligence Research
Using pivot consistency to decompose and solve functional CSPS

Journal of Artificial Intelligence Research
An overview of an automatically compilable hierarchical definition matcher

IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
A new method for solving constraint satisfaction problems

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Optimization approaches to the problem of edge linking with a focus on parallel processing

IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Domain dependence in parallel constraint satisfaction

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A comparison of ATMS and CSP techniques

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Constraint satisfiability algorithms for interactive student scheduling

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Approximation algorithms for temporal reasoning

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
When functional and bijective constraints make a CSP polynomial

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Consistency techniques for numeric CSPs

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Path consistency in a network of non-convex intervals

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A theoretical framework for consistency techniques in logic programming

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Constraints in a hybrid knowledge representation system

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Using inference to reduce arc consistency computation

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Constraint solving over semirings

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Exploiting 2D topology in labeling polyhedral images

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Local consistency for extended CSPs

Theoretical Computer Science
An efficient arc consistency algorithm for a class of CSP problems

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Improved bounds on the complexity of kB-consistency

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
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving

Artificial Intelligence - Special issue: Distributed constraint satisfaction
Consistent-labeling problems and their algorithms: Expected-complexities and theory-based heuristics

Artificial Intelligence
Consistency in general CSPs

PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving

Autonomous dynamic reconfiguration in multi-agent systems: improving the quality and efficiency of collaborative problem solving
Constraint satisfaction problems and global cardinality constraints

Communications of the ACM
Reasoning about cardinal directions between extended objects

Artificial Intelligence
The consistent labeling problem in temporal reasoning

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Determination of path attenuation values for hardware emulation of tactical radio networks

MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
The consistent labeling problem in temporal reasoning

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Hunter-Gatherer: three search techniques integrated for natural language semantics

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Some applications of graph bandwidth to constraint satisfaction problems

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Arc-consistency in dynamic constraint satisfaction problems

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Eliminating interchangeable values in constraint satisfaction problems

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Semantic evaluation as constraint network consistency

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
On the minimality and decomposability of constraint networks

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
On the consistency of general constraint-satisfaction problems

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Using branch-and-bound with constraint satisfaction in optimization problems

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of 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
Local consistency and SAT-solvers

CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Neighborhood inverse consistency preprocessing

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Inference-based constraint satisfaction supports explanation

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Determination of hub port attenuation satisfying radio link path losses for hardware emulation

Simulation
Second-order consistencies

Journal of Artificial Intelligence Research
On the CSP dichotomy conjecture

CSR'11 Proceedings of the 6th international conference on Computer science: theory and applications
The parameterized complexity of local consistency

CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Towards an efficient SAT encoding for temporal reasoning

CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Integrating collaboration and activity-oriented planning for coalition operations support

RoboCup 2005
Improving the performance of vector hyper-heuristics through local search

Proceedings of the 14th annual conference on Genetic and evolutionary computation
A REVIEW OF TREE CONVEX SETS TEST

Computational Intelligence
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies

Fundamenta Informaticae
Self-control of the time complexity of a constraint satisfaction problem solver program

Journal of Systems and Software
Local consistency and SAT-solvers

Journal of Artificial Intelligence Research
From path-consistency to global consistency in temporal qualitative constraint networks

AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Robust constraint satisfaction and local hidden variables in quantum mechanics

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	48.24

Visualization

Abstract

A constraint network representation is presented for a combinatorial search problem: finding values for a set of variables subject to a set of constraints. A theory of consistency levels in such networks is formulated, which is related to problems of backtrack tree search efficiency. An algorithm is developed that can achieve any level of consistency desired, in order to preprocess the problem for subsequent backtrack search, or to function as an alternative to backtrack search by explicitly determining all solutions.