Document Type
Technical Report
Publication Date
2007
Recommended Citation
Harpaz, Rave, "TR-2007008: The Satisfiability Problem—From the Theory of NP-Completeness to State-of-the-Art SAT Solvers" (2007). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/288