Search Sciweavers | Sciweavers

105 search results - page 5 / 21

» sat 2004

click to vote

SODA
2004
ACM

94views Algorithms» more SODA 2004»

Improved upper bounds for 3-SAT

14 years 10 months ago

Download www.inf.ethz.ch

Kazuo Iwama, Suguru Tamaki

claim paper

Read More »

click to vote

FPL
2004
Springer

74views Hardware» more FPL 2004»

Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers

15 years 2 months ago

Download www.ieeta.pt

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...

Valery Sklyarov, Iouliia Skliarova, Bruno Figueire...

claim paper

Read More »

click to vote

SAT
2004
Springer

106views Hardware» more SAT 2004»

Local Search with Bootstrapping

15 years 2 months ago

Download www.satisfiability.org

We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespeciﬁed number of tries, each starting with an eleme...

Lengning Liu, Miroslaw Truszczynski

claim paper

Read More »

click to vote

AAAI
2004

98views Intelligent Agents» more AAAI 2004»

Modeling Choices in Quasigroup Completion: SAT vs. CSP

14 years 10 months ago