Back to Results
First PageMeta Content
Theoretical computer science / Constraint programming / Computational complexity theory / Software engineering / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / DPLL algorithm / Constraint satisfaction / Solver


SAT Encodings Sugar Examples Demo Summary . .
Add to Reading List

Document Date: 2010-07-15 03:14:22

Open Document

File Size: 552,42 KB

Share Result on Facebook

City

a SAT / /

Country

Japan / /

Facility

Mutsunori Banbara Kobe University / /

IndustryTerm

Local search algorithms / /

Organization

Kobe University / /

Person

Mutsunori Banbara / Tomoya Tanjo / S. Naoyuki Tamura / Naoyuki Tamura / /

ProgrammingLanguage

Scala / /

Technology

DPLL algorithm / Local search algorithms / SAT Encodings Sugar Examples Demo Summary SAT SAT solvers SAT-based DPLL Algorithm / /

SocialTag