Algorithms for the Satisfiability Problem
by Jun Gu, Paul Purdom, John Franco, Benjamin W. Wah
Algorithms
Writing a summary for young readers…
For young readers
Book data: Open Library
by Jun Gu, Paul Purdom, John Franco, Benjamin W. Wah
Book data: Open Library