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

Lou, Tiancheng

  1. Width-parameterized SAT: Time-Space Tradeoffs
    2011/08/11 by Chen, Shiteng, Lou, Tiancheng, Papakonstantinou, Periklis +1 · 1 citation
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences