422 search results - page 14 / 85 » Multithreaded SAT Solving |
FPL
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling betwe...
AMAI
2004
Springer
14 years 3 months ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...
ACTA
2006
13 years 10 months ago
2006
The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obta...
DAC
2009
ACM
14 years 11 months ago
2009
ACM
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
