Search Sciweavers | Sciweavers

100 search results - page 1 / 20

» sat 2005

click to vote

SAT
2005
Springer

95views Hardware» more SAT 2005»

Input Distance and Lower Bounds for Propositional Resolution Proof Length

13 years 10 months ago

Download www.soe.ucsc.edu

Allen Van Gelder

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
2005
Springer

93views Hardware» more SAT 2005»

Resolution Tunnels for Improved SAT Solver Performance

13 years 10 months ago

Download gauss.ececs.uc.edu

Michal Kouril, John V. Franco

claim paper

Read More »

click to vote

SAT
2005
Springer

91views Hardware» more SAT 2005»

Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability

13 years 10 months ago

Download www.tcs.hut.fi

Sakari Seitz, Mikko Alava, Pekka Orponen

claim paper

Read More »

click to vote

SAT
2005
Springer

117views Hardware» more SAT 2005»

A Branching Heuristics for Quantified Renamable Horn Formulas

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers