Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
- 1 June 1987
- journal article
- research article
- Published by Elsevier in Discrete Applied Mathematics
- Vol. 17 (3) , 295-299
- https://doi.org/10.1016/0166-218x(87)90032-1
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problemDiscrete Applied Mathematics, 1983