428 search results - page 22 / 86 » FPGA-Based SAT Solver |
DATE
2002
IEEE
14 years 20 days ago
2002
IEEE
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
PRDC
2002
IEEE
14 years 18 days ago
2002
IEEE
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...
FPL
2001
Springer
14 years 5 days ago
2001
Springer