Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem

Publisher Website

31 January 1983

journal article
Published by Elsevier in Discrete Applied Mathematics

Vol. 5 (1) , 77-87
https://doi.org/10.1016/0166-218x(83)90017-3

Abstract

No abstract available

Keywords

Cited by 134 articles