Wow! eBookHandbook of Satisfiability
by: Biere, A.; Heule, M.; Van Maaren, H.
Hardcover: 980 pages
Publisher: IOS Press( January 29, 2009 )
ISBN-10: 1586039296
Handbook of Satisfiability
未经允许不得转载：Wow! eBook » Handbook of Satisfiability
