13841 search results - page 115 / 2769 » Algorithms and Constraint Programming |
93
Voted
IJCAI
2007
15 years 2 months ago
2007
Finding a constraint network that will be efficiently solved by a constraint solver requires a strong expertise in Constraint Programming. Hence, there is an increasing interest i...
82
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and expl...
108
click to vote
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
135
click to vote
ENTCS
2006
15 years 19 days ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...
107
click to vote
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...