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

Liang, Jia Hui

  1. Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers
    2015/06/30 by Liang, Jia Hui, Ganesh, Vijay, Zulkoski, Ed +2 · 2 citations
    #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)