2725 search results - page 131 / 545 » Constraint Solving for Interpolation |
129
click to vote
IJCAI
1989
15 years 5 months ago
1989
This paper presents an evaluation of two orthogonal schemes for improving the efficiency of solving constraint satisfaction problems (CSPs). The first scheme involves a class of p...
148
click to vote
IJCAI
1989
15 years 5 months ago
1989
A constraint satisfaction problem, or CSP, can be reformulated as an integer linear programming problem. The reformulated problem can be solved via polynomial multiplication. If t...
124
click to vote
AIPS
2009
15 years 5 months ago
2009
This paper considers Just-In-Time Job-Shop Scheduling, in which each activity has an earliness and a tardiness cost with respect to a due date. It proposes a constraint programmin...
127
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
117
click to vote
CP
2010
Springer
15 years 2 months ago
2010
Springer
A new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), has recently been proposed. Mohc exploits monotonicity of functions to better filter var...