Average time analyses of simplified Davis-Putnam procedures: Information processing letters 15(2) (September 1983) pp. 72–75
- 1 May 1983
- journal article
- correction
- Published by Elsevier in Information Processing Letters
- Vol. 16 (4) , 213
- https://doi.org/10.1016/0020-0190(83)90127-8
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: