Two new upper bounds for (0)

by E A Hirsch
Venue:SAT, in ‘‘ACM-SIAM Symposium on Discrete Algorithms,’’pp.521–530,1998