| 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 |