7167 search results - page 338 / 1434 » Answer Set Programming |
130
click to vote
CP
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...
122
click to vote
IPPS
1994
IEEE
15 years 7 months ago
1994
IEEE
As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even gre...
105
click to vote
SAT
2010
Springer
15 years 7 months ago
2010
Springer
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
113
click to vote
FOSAD
2009
Springer
15 years 7 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
127
click to vote
ESA
2006
Springer
15 years 6 months ago
2006
Springer
A popular approach in combinatorial optimization is to model problems as integer linear programs. Ideally, the relaxed linear program would have only integer solutions, which happ...