vix.ing · top · new · best · stats · spec

Nikolaj Bjørner

  1. Guiding High-Performance SAT Solvers with Unsat-Core Predictions
    2019/03/12 by Daniel Selsam, Nikolaj Bjørner · 1 voice · 4 citations
    #cs.NE
  2. Monadic Decomposition
    2017/04/30 by Margus Veanes, Nikolaj Bjørner, Lev Nachmanson +1 · 3 citations
    Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #semigroups and automata theory