Skip to search formSkip to main contentSkip to account menu

Local consistency

Known as: Simplistic algorithm, Directional consistency, Constraint propagation 
In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
AC-3 algorithmAlgorithmBackjumpingBacktracking

Broader (1)

Constraint programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Minimization of locally-de(cid:12)ned submodular functions by optimal soft arc consistency
Submodular function minimization is a polynomially-solvable combinatorial problem. Unfortunately the best known general-purpose… 
Highly Cited
2005
Highly Cited
2005
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
This paper deals with the problem of safety verification of non-linear hybrid systems. We start from a classical method that uses… 
1999
1999
Optimal Distributed Arc-Consistency
This paper presents DisAC-9, the first optimal distributed algorithm performing the arc-consistency of a constraint network. Our… 
Highly Cited
1999
Highly Cited
1999
Non-Binary Constraints
Since the origins of the constraint satisfaction paradigm, its restriction to binary constraints has concentrated a significant… 
1995
1995
Path consistency revisited
  • Moninder Singh
  • Proceedings of 7th IEEE International Conference…
  • 1995
  • Corpus ID: 16327796
One of the main factors limiting the use of path consistency algorithms in real life applications is their high space complexity… 
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite… 
1989
1989
Reasoning about the kinematics of mechanical devices
Highly Cited
1988
Highly Cited
1988
Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach
Schema-based representations for visual knowledge are integrated with constraint satisfaction techniques. This integration is… 
Highly Cited
1988
Highly Cited
1988
KBRA: A new paradigm for requirements engineering
The authors present a knowledge-based requirements assistant (KBRA) that is a component of the knowledge-based software assistant… 
Highly Cited
1988
Highly Cited
1988
Object recognition using the Connection Machine
The authors report on a model-based object recognition system and its parallel implementation on the Connection Machine system… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)