Search Sciweavers | Sciweavers

422 search results - page 1 / 85

» Multithreaded SAT Solving

click to vote

ASPDAC
2007
ACM

79views Hardware» more ASPDAC 2007»

Multithreaded SAT Solving

13 years 8 months ago

Download www.aspdac.com

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker

claim paper

Read More »

click to vote

SAT
2009
Springer

90views Hardware» more SAT 2009»

Solving (Weighted) Partial MaxSAT through Satisfiability Testing

13 years 11 months ago

Download www.iiia.csic.es

Carlos Ansótegui, Maria Luisa Bonet, Jordi ...

claim paper

Read More »

click to vote

SAT
2005
Springer

98views Hardware» more SAT 2005»

Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable

13 years 10 months ago

Download www.ti.inf.ethz.ch

We present an algorithm that decides the satisﬁability of a

Magnus Wahlström

claim paper

Read More »

click to vote

SAT
2007
Springer

110views Hardware» more SAT 2007»

Dynamically Partitioning for Solving QBF

13 years 11 months ago

Download www.cs.toronto.edu

Horst Samulowitz, Fahiem Bacchus

claim paper

Read More »

click to vote

SAT
2004
Springer

107views Hardware» more SAT 2004»

Solving Non-clausal Formulas with DPLL search

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers