428 search results - page 2 / 86 » FPGA-Based SAT Solver |
SAT
2010
Springer
13 years 9 months ago
2010
Springer
AAAI
2010
13 years 3 months ago
2010
We present and implement a Weighted Partial MaxSAT solver based on successive calls to a SAT solver. We prove the correctness of our algorithm and compare our solver with other We...
SAT
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. For the third consecutive year, a SAT competition was organized as a joint event with the SAT conference. With 55 solvers from 25 author groups, the competition was a cle...
GLVLSI
2002
IEEE
13 years 10 months ago
2002
IEEE
The paper presents a satisfiability-based method for solving the board-level multiterminal net routing problem in Clos-Folded FPGA based logic emulation systems. The approach tran...
ACMSE
2006
ACM
13 years 11 months ago
2006
ACM
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...