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

Junping Zhou

  1. New worst upper bound for #SAT
    2010/06/08 by Junping Zhou, Zhou, Junping, Minghao Yin +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #semigroups and automata theory