Now showing items 1-1 of 1

    • Dissolve: A Distributed SAT Solver Based on Stalmarck's Method 

      Henry, Julien; Thakur, Aditya; Kidd, Nicholas; Reps, Thomas (2017-03-08)
      Creating an effective parallel SAT solver is known to be a challenging task. At present, the most efficient implementations of parallel SAT solvers are portfolio solvers with some heuristics to share learnt clauses. In ...