Back to Results
First PageMeta Content
NP-complete problems / Logic in computer science / Electronic design automation / Formal methods / Automated theorem proving / Boolean satisfiability problem / Conjunctive normal form / Search algorithm / Unit propagation / Theoretical computer science / Applied mathematics / Mathematics


EagleUP: Solving Random 3-SAT using SLS with Unit Propagation Oliver Gableske1 and Marijn Heule2 1 2
Add to Reading List

Document Date: 2011-09-26 11:40:39

Open Document

File Size: 419,52 KB

Share Result on Facebook

Company

CNF / /

Facility

Institute of Theoretical Computer Science / Ulm University / Delft University of Technology / /

IndustryTerm

actual search starts / stochastic local search / systematic search / systematic search solvers / search tree / stochastic systematic search / local search approaches / local search solvers / search space / iUP algorithm / local search / local search solver / search algorithms / /

Organization

Ulm University / Delft University of Technology / Institute of Theoretical Computer Science / /

Product

Cauchy / /

PublishedMedium

Theoretical Computer Science / /

Technology

search algorithms / PDF / iUP algorithm / /

SocialTag