New Worst-Case Upper Bounds for SAT

Authors
E.A.Hirsch
Citation
E.a.hirsch, New Worst-Case Upper Bounds for SAT, Journal of automated reasoning , 24(4), 2000, pp. 397-420
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
24
Issue
4
Year of publication
2000
Pages
397 - 420
Database
ACNP
SICI code