• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Niklas Eén, Niklas Sörensson
  • Computer Science
  • SAT
  • 2003 (First Publication: 5 May 2003)
  • In this article, we present a small, complete, and efficient SAT-solver in the style of conflict-driven learning, as exemplified by Chaff. We aim to give sufficient details about implementation toExpand
    MINISAT is a SAT solver designed to be easy to use, understand, and modify while still being efficient. Originally inspired by ZCHAFF [10] and LIMMAT [1], MINISAT features the now commonplaceExpand
  • Niklas Sörensson
  • Computer Science
  • 2008 (First Publication: 2 October 2008)
  • A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and theirExpand