Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,026,198 papers from all fields of science
Search
Sign In
Create Free Account
Constraint satisfaction
Known as:
Constraint
, List of constraint satisfaction toolkits
In artificial intelligence and operations research, constraint satisfaction is the process of finding a solution to a set of constraints that impose…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Action selection
Artificial Intelligence
Backmarking
Backtracking
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Perturbed message passing for constraint satisfaction problems
Siamak Ravanbakhsh
,
R. Greiner
Journal of machine learning research
2014
Corpus ID: 2381830
We introduce an efficient message passing scheme for solving Constraint Satisfaction Problems (CSPs), which uses stochastic…
Expand
2006
2006
On Visibility Problems in the Plane -- Solving Minimum Vertex Guard Problems by Successive Approximations
Ana Paula Tomás
,
A. Bajuelos
,
Fábio Marques
AI&M
2006
Corpus ID: 7048478
. We address the problem of stationing guards in vertices of a simple polygon in such a way that the whole polygon is guarded and…
Expand
2004
2004
Soft constraint satisfaction multimodulus blind equalization algorithms
Shafayat Abrar
,
A. Zerguine
,
Mohamed Deriche
IEEE International Conference on Acoustics…
2004
Corpus ID: 10720966
In this work, a new algorithm, based on the minimum-disturbance principle with relaxation, is presented for the blind…
Expand
2003
2003
Aggregating constraint satisfaction degrees expressed by possibilistic truth values
G. Tré
,
B. Baets
IEEE transactions on fuzzy systems
2003
Corpus ID: 30770531
In information systems, one often has to deal with constraints in order to compel the semantics and integrity of the stored…
Expand
2000
2000
Markedness and Agreement
J. Blevins
Transactions of the Philological Society
2000
Corpus ID: 16965805
This paper presents an account of the interpretation of unmarked verb forms in which the entries of unmarked forms are uniformly…
Expand
1998
1998
The Time Course Of Attachment Decisions: Evidence From French
J. Pynte
1998
Corpus ID: 78090011
The relative clause attachment section examines the nature of bias (if any) favouring high attachment for sentences. The…
Expand
1995
1995
Constraint satisfaction for test program generation
D. Lewin
,
Laurent Fournier Moshe Levinger Evgeny Roytman Gil Shurek
Proceedings International Phoenix Conference on…
1995
Corpus ID: 62493372
A central problem in automatic test generation is solving constraints for memory access generation. A framework, and an algorithm…
Expand
1993
1993
A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction
Eugene C. Freuder
,
Paul D. Hubbe
Principles and Practice of Constraint Programming
1993
Corpus ID: 32593557
The paper presents a control schema for constraint satisfaction. Several algorithms, old and new, are formulated as instances of…
Expand
1988
1988
Incremental Constraint Satisfaction and its Application to Graphical Interfaces
B. V. Zanden
1988
Corpus ID: 62080843
Software that emphasizes pictures, rather than text, has become increasingly popular since the introduction of the Macintosh…
Expand
Highly Cited
1988
Highly Cited
1988
Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach
J. A. Mulder
,
Alan K. Mackworth
,
W. Havens
IEEE Transactions on Pattern Analysis and Machine…
1988
Corpus ID: 16996490
Schema-based representations for visual knowledge are integrated with constraint satisfaction techniques. This integration is…
Expand