Theory and Applications of Satisfiability Testing
von
David G. Mitchell Holger H. Hoos
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-540-81320-0
ISBN-10: 3-540-81320-9
Springer
· 2008
