Sell, buy or rent A. Biere textbooks
Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336)
by
A. Biere, M. Heule, H. Van Maaren, T. Walsh
ISBN-13: 9781643681603
ISBN-10: 1643681605
Edition: 2
Publication date: 2021
Publisher:
IOS Press
Format:
Hardcover
1484 pages
Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
by
A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh
ISBN-13: 9781586039295
ISBN-10: 1586039296
Publication date: 2009
Publisher:
IOS Press
Format:
Hardcover
980 pages