Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues)
by
ISBN 13: 9783540727873
Format: Paperback (384 pages) Publisher: Springer Published: 18 May 2007
Save for later