Back to Results
First PageMeta Content
Automated theorem proving / Logic in computer science / Computer file formats / Mathematical optimization / Operations research / Boolean satisfiability problem / DPLL algorithm / Resolution / Clause / Theoretical computer science / Mathematics / Applied mathematics


Journal on Satisfiability, Boolean Modeling and Computation[removed] ManySAT: a Parallel SAT Solver Youssef Hamadi [removed]
Add to Reading List

Document Date: 2009-12-08 06:37:10

Open Document

File Size: 753,00 KB

Share Result on Facebook

Company

CNF / Microsoft / /

/

Facility

Delft University of Technology / /

IndustryTerm

subsequent search tree / sequential algorithm / search process / multicore hardware / search tree / search focuses / parallel processing capabilities / sequential algorithms / software verification domains / parallel search / industrial applications / search space / search algorithm / search procedure / /

Organization

Delft University of Technology / /

Person

Youssef Hamadi / /

/

Position

representative / /

Product

ManySAT / /

Technology

DPLL algorithm / sequential algorithm / caching / search algorithm / shared memory / parallel processing / /

URL

http /

SocialTag