The Complexity of Automated Reasoning (1989)

by André Vellino
Citations:9 - 0 self

Documents Related by Co-Citation

1075 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
264 The intractability of resolution – A Haken - 1985
51 Resolution vs. cutting plane solution of inference problems: Some computational experience – J Hooker - 1988
43 Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem – J Franco, M Paull - 1983
775 The complexity of theorem-proving procedures – Stephen A. Cook - 1971
740 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
214 Many hard examples for resolution – V Chvátal, E Szemerédi - 1988
147 Solving large-scale constraint satisfaction an scheduling problems using a heuristic repair method – S Minton, M Johnston, A Philips, P Laird - 1990
510 Optimization by simulated annealing: an experimental evaluation – D S Johnson, C R Aragon, L A Mcgeoeh, C Schevon - 1989
10922 Computers and Intractability : A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
680 A New Method for Solving Hard Satisfiability Problems – Bart Selman, Hector Levesque, David Mitchell - 1992
4 Zur Effizienz der Beweissuche in der Logikverarbeitung – Ulf Dunker - 1997
28 Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems – Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi - 1998
23 Regular resolution versus unrestricted resolution – Andreas Goerdt - 1993
102 Linear Resolution with Selection Function – Robert A Kowalski, Donald Kuehner - 1971
34 Separation of the Monotone NC Hierarchy – Ran Raz, Pierre McKenzie - 1999
298 On the complexity of derivation in propositional calculus – Grigori Tseitin - 1968
49 A Study of Proof Search Algorithms for Resolution and Polynomial Calculus – Maria Luisa Bonet, Nicola Galesi - 1999
34 An exponential separation between regular and general resolution – Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart