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

Brauße, Franz

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