| Document Date: 2010-04-19 00:19:44 Open Document File Size: 664,75 KBShare 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 |