Average time analyses of simplified Davis-Putnam procedures: Information processing letters 15(2) (September 1983) pp. 72–75
Allen Goldberg, Paul Purdom, Cynthia BrownVolume:
16
Year:
1983
Language:
english
DOI:
10.1016/0020-0190(83)90127-8
File:
PDF, 52 KB
english, 1983