Essays about: "Johan Lindblad"

Found 1 essay containing the words Johan Lindblad.

  1. 1. On the Structure of Resolution Refutations Generated by Modern CDCL Solvers

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Johan Lindblad; [2019]
    Keywords : ;

    Abstract : Modern solvers for the Boolean satisfiability problem (SAT) that are based on conflict-driven clause learning (CDCL) are known to be able to solve some instances significantly more efficiently than older kinds of solvers such as ones using the Davis-Putnam-Logemann-Loveland (DPLL) algorithm. In addition to solving instances that can be satisfied, SAT solvers will implicitly generate proofs of unsatisfiability for formulae that are unsatisfiable. READ MORE