THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2008: 11TH INTERNATIONAL CONFERENCE, SAT 2008, GUANGZHOU, CHINA, MAY 12-15, 2008, PROCEEDINGS

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING-SAT 2008: 11TH INTERNATIONAL CONFERENCE, SAT 2008, GUANGZHOU, CHINA, MAY 12-15, 2008, PROCEEDINGS

Publisher: SPRINGER

Pages: -

ISBN: 978-3-540-79718-0

₹ 6,462.00 ~~₹ 7,628.91~~

✻