Implementing the Davis-Putnam Method (2000)
by
Hantao Zhang
,
Mark E. Stickel
| Venue: | Journal of Automated Reasoning |
| Citations: | 47 - 3 self |
Document Versions
| Implementing the Davis-Putnam Method –Hantao Zhang, Mark E. Stickel — 2000 — Journal of Automated Reasoning |
| Implementing the Davis-Putnam Method –Hantao Zhang, Mark E. Stickel — 2000 — Journal of Automated Reasoning |
