Implementig the Davis-Putnam Method

Authors
H.Zhang,M.Stickel
Citation
H.zhang,m.stickel, Implementig the Davis-Putnam Method, Journal of automated reasoning , 24(1/2), 2000, pp. 277-296
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
24
Issue
1/2
Year of publication
2000
Pages
277 - 296
Database
ACNP
SICI code