Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,229,336 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
2005
2005
Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems
Benjamin W. Wah
,
Zhe Wu
Journal of Computational Science and Technology
2005
Corpus ID: 10221575
In this paper we study the solution of SAT problems formulated as discrete decision and discrete constrained optimization…
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. de Tré
,
B. De 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
,
L. 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
1990
1990
Adaptive Self-Organizing Concurrent Systems
Tony R. Martinez
1990
Corpus ID: 17962725
1. Introduction Current technology trends, demanding applications, and limitations of sequential computation, have combined to…
Expand
1988
1988
Incremental Constraint Satisfaction and its Application to Graphical Interfaces
B. V. Vander Zanden
1988
Corpus ID: 62080843
Software that emphasizes pictures, rather than text, has become increasingly popular since the introduction of the Macintosh…
Expand