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

Bogart, Tristram

  1. Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination
    2018/02/03 by Bogart, Tristram, Goodrick, John, Nguyen, Danny +1 · 1 citation
    #03C10 #52B20 #68Q17 #Combinatorics (math.CO) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO)