238 search results - page 24 / 48 » Constraint Solving and Symbolic Execution |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...
103
click to vote
FLAIRS
2004
15 years 11 days ago
2004
The distributed constraint satisfaction problem (CSP) is a general formalization used to represent problems in distributed multi-agent systems. To deal with realistic problems, mu...
DSN
2007
IEEE
15 years 5 months ago
2007
IEEE
Replicated systems that run over partitionable environments, can exhibit increased availability if isolated partitions are allowed to optimistically continue their execution indep...
IJCAI
1989
15 years 3 days ago
1989
Cognitive architectures aspire for generality both in terms of problem solving and learning across a range of problems, yet to date few examples of domain independent learning has...