422 search results - page 14 / 85 » Multithreaded SAT Solving |
108
click to vote
FPL
2004
Springer
15 years 7 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...
115
click to vote
AMAI
2004
Springer
15 years 7 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...
110
click to vote
ACTA
2006
15 years 2 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...
97
Voted
DAC
2009
ACM
16 years 3 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
15 years 8 months ago
2006
IEEE
