Evgeny Dantsin Edward A. Hirsch Worst-Case Upper Bounds. 403-424 2009 Handbook of Satisfiability http://dx.doi.org/10.3233/978-1-58603-929-5-403 series/faia/2009-185 db/series/faia/faia185.html#DantsinH09