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

Franz Brauße

  1. A CDCL-style calculus for solving non-linear constraints
    2019/05/22 by Franz Brauße, Konstantin Korovin, Brauße, Franz +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO