Buy Used and New Marijn Heule Books

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings: 9340 (Lecture Notes in Computer Science)

by Marijn Heule,Sean Weaver

ISBN 13: 9783319243177

Format: Paperback (456 pages)
Publisher: Springer
Published: 15 Nov 2015

Save for later

Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336)

by Armin Biere,Marijn Heule,Hans Van Maaren,Toby Walsh

ISBN 13: 9781643681603

Format: Hardcover (1465 pages)
Publisher: Ios Pr Inc
Published: 05 May 2021

Save for later