7092 search results - page 205 / 1419 » Parallelizing constraint programs |
101
click to vote
ECOOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
112
click to vote
CP
2005
Springer
15 years 2 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
IJAIT
2002
15 years 7 days ago
2002
The adaptation of software technology to distributed environments is an important challenge today. In this work we combine parallel and distributed search. By this way we add the ...
72
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
113
click to vote
IJCAI
1989
15 years 1 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...