980 search results - page 111 / 196 » Decentralized Constraint Satisfaction |
IGPL
2006
13 years 10 months ago
2006
Abstract. k-SAT is a fundamental constraint satisfaction problem. It involves S(m), the satisfaction set of the conjunction of m clauses, each clause a disjunction of k literals. T...
JMS
2010
13 years 8 months ago
2010
The time and spatial constraints of face-to-face learning often affect nursing staff’s inclination to enroll in ladder system training classes. Hence, their competence in clinica...
CPAIOR
2006
Springer
14 years 4 days ago
2006
Springer
As many real-world problems involve user preferences, costs, or probabilities, constraint satisfaction has been extended to optimization by generalizing hard constraints to soft co...
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
RSP
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...