Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Computer Science and General Issues)
by
ISBN 13: 9783540797180
Format: Paperback (305 pages) Publisher: Springer Published: 25 Apr 2008
Save for later