![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 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](https://www.pdfsearch.io/img/760fd23e5a870abcce86cdff4d49f303.jpg)
| Document Date: 2010-07-15 03:14:22 Open Document File Size: 552,42 KBShare 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 |