Exploració per autor "Elffers, J."

Ara es mostren els items 1-1 de 1

    • Trade-offs between time and memory in a tighter model of CDCL SAT solvers 

      Elffers, J.; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc (2016)
      Text en actes de congrés
      Accés obert
      A long line of research has studied the power of conflict- driven clause learning (CDCL) and how it compares to the resolution proof system in which it searches for proofs. It has been shown that CDCL can polynomially ...