Buy Used and New Carla P. Gomes Books

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings: 4121 (Lecture Notes in Computer Science)

by Carla P. Gomes,Armin Biere

ISBN 13: 9783540372066

Format: Illustrated (448 pages)
Publisher: Springer
Published: 26 Jul 2006

Save for later