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

Schwerdtfeger, Konrad W.

  1. A Computational Trichotomy for Connectivity of Boolean Satisfiability
    2013/12/16 by Konrad W. Schwerdtfeger, Schwerdtfeger, Konrad W. · 5 citations
    Computer Science · #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CC #cs.LO