New Worst-Case Upper Bounds for SAT - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Edward A. Hirsch. New Worst-Case Upper Bounds for SAT. Journal of Automated Reasoning, 24(4):397-420, 2000.

The following publications are possibly variants of this publication:

Two New Upper Bounds for SATEdward A. Hirsch. soda 1998: 521-530

Worst-Case Upper BoundsEvgeny Dantsin, Edward A. Hirsch. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability - Second Edition. Volume 336 of Frontiers in Artificial Intelligence and Applications, pages 669-692, IOS Press, 2021. [doi]

Worst-Case Upper BoundsEvgeny Dantsin, Edward A. Hirsch. In Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh, editors, Handbook of Satisfiability. Volume 185 of Frontiers in Artificial Intelligence and Applications, pages 403-424, IOS Press, 2009. [doi]

New Worst-Case Upper Bounds for MAX-2-SAT with Application to MAX-CUTJens Gramm, Edward A. Hirsch, Rolf Niedermeier, Peter Rossmanith. eccc, 7(37), 2000. [doi]

runs on WebDSL