An Improved Upper Bound for SAT.

Huairui Chu, Mingyu Xiao, Zhe Zhang

Browse the full AAAI paper archive.