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