6456 search results - page 73 / 1292 » Constraint Solving on Terms |
115
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
When agents need to interact in order to solve some (possibly common) problem, resolving potential conflicts beforehand is often preferred to coordination during execution. Agents...
124
click to vote
ROBOCUP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
108
Voted
EUSFLAT
2009
14 years 10 months ago
2009
Harmonization with four voices is a musical problem which is subject to hard constraints, which absolutely need to be fulfilled, as well as to soft constraints, which preferably ho...
101
Voted
ISSRE
2007
IEEE
15 years 2 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
155
click to vote
CPAIOR
2010
Springer
14 years 11 months ago
2010
Springer
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...