Search Sciweavers | Sciweavers

141 search results - page 1 / 29

» sat 2010

click to vote

SAT
2010
Springer

161views Hardware» more SAT 2010»

On Moderately Exponential Time for SAT

13 years 8 months ago

Download cs.roosevelt.edu

Evgeny Dantsin, Alexander Wolpert

claim paper

Read More »

click to vote

SAT
2010
Springer

164views Hardware» more SAT 2010»

Improving Stochastic Local Search for SAT with a New Probability Distribution

13 years 8 months ago

Download www.uni-ulm.de

Adrian Balint, Andreas Fröhlich

claim paper

Read More »

click to vote

SAT
2010
Springer

194views Hardware» more SAT 2010»

Integrating Dependency Schemes in Search-Based QBF Solvers

13 years 8 months ago

Download fmv.jku.at

Florian Lonsing, Armin Biere

claim paper

Read More »

click to vote

SAT
2010
Springer

152views Hardware» more SAT 2010»

Simple but Hard Mixed Horn Formulas

13 years 3 months ago

Download www.cs.uky.edu

Abstract. We study simple classes of mixed Horn formulas, in which the structure of the Horn part is drastically constrained. We show that the SAT problem for formulas in these cla...

Gayathri Namasivayam, Miroslaw Truszczynski

claim paper

Read More »

click to vote

SODA
2010
ACM

168views Algorithms» more SODA 2010»

On the possibility of faster SAT algorithms

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers