Algorithms for the Satisfiability Problem
de Jun Gu, Paul Purdom, John Franco, Benjamin W. Wah
Materias
Ediciones (1)
- Algorithms for the Satisfiability Problem (2008)
Cambridge University Press · inglés · ISBN 9780521640411
de Jun Gu, Paul Purdom, John Franco, Benjamin W. Wah
Cambridge University Press · inglés · ISBN 9780521640411