Search Sciweavers | Sciweavers

100 search results - page 1 / 20

» sat 2005

109

click to vote

SAT
2005
Springer

95views Hardware» more SAT 2005»

Input Distance and Lower Bounds for Propositional Resolution Proof Length

15 years 8 months ago

Download www.soe.ucsc.edu

Allen Van Gelder

claim paper

Read More »

105

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

15 years 8 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

15 years 8 months ago

Download gauss.ececs.uc.edu

Michal Kouril, John V. Franco

claim paper

Read More »

102

click to vote

SAT
2005
Springer

91views Hardware» more SAT 2005»

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

15 years 8 months ago

Download www.tcs.hut.fi

Sakari Seitz, Mikko Alava, Pekka Orponen

claim paper

Read More »

108

click to vote

SAT
2005
Springer

117views Hardware» more SAT 2005»

A Branching Heuristics for Quantified Renamable Horn Formulas

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers