Algorithms for the Satisfiability Problem (Cambridge Tracts in Theoretical Computer Science)

by: Jun Gu · etc. · Paul W. Purdom · John Franco · Benjamin W. Wah

Hardcover

details (UK).

ISBN: 978-0-521-64041-1

ISBN-10: 0-521-64041-5

Cambridge University Press · June 2020