105 search results - page 5 / 21 » sat 2004 |
114
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
The paper describes two methods for the design of matrix-oriented SAT solvers based on data compression. The first one provides matrix compression in a host computer and decompress...
136
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
AAAI
2004
15 years 7 months ago
2004
