Back to Results
First PageMeta Content
Declarative programming / Boolean satisfiability problem / DPLL algorithm / Conjunctive normal form / Constraint satisfaction / Solver / Theoretical computer science / Constraint programming / Applied mathematics


SAT Encodings Sugar Nonogram OSS Summary .
Add to Reading List

Document Date: 2010-04-19 00:19:44

Open Document

File Size: 664,75 KB

Share Result on Facebook

City

A SAT / /

Facility

Mutsunori Banbara Kobe University / /

IndustryTerm

Local search algorithms / /

Organization

Kobe University / /

Person

Mutsunori Banbara / Naoyuki Tamura / Tomoya Tanjo / /

Technology

DPLL algorithm / Local search algorithms / SAT Encodings Sugar Nonogram OSS Summary SAT SAT solvers SAT-based DPLL Algorithm / /

SocialTag