Search filters

The Efficiency of Resolution and Davis--Putnam Procedures

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description
Author/s

author: Michael Saks  Richard M. Karp  Toniann Pitassi 

Publication date January 2002
Language English
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item

Paulina is supported by:

About Paulina

Help