Theory and Applications of Satisfiability Testing
de Holger H. Hoos, David G. Mitchell
Materias
Ediciones (1)
- Theory and Applications of Satisfiability Testing (2005)
Springer London, Limited · inglés · ISBN 9783540315803
de Holger H. Hoos, David G. Mitchell
Springer London, Limited · inglés · ISBN 9783540315803
