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

14 years 3 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

14 years 5 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

14 years 4 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

14 years 5 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

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers