The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

SAT 2005 Satisfiability Research in the Year 2005

Theory and Applications of Satisfiability Testing 7Th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004 : Revised Selected Papers,354027829X,9783540278290
48 %

Theory and Applications o ...

Holger H. Hoos, ...

List Price: $ 109.99

Our Price: $ 57.57

Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings,3540797181,9783540797180
55 %

Theory and Applications o ...

Hans Kleine Bün ...

List Price: $ 99.00

Our Price: $ 44.32

Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings,3540727876,9783540727873
47 %

Theory and Applications o ...

Joao Marques-Si ...

List Price: $ 109.00

Our Price: $ 57.57

SAT-Based Scalable Formal Verification Solutions,0387691669,9780387691664
82 %

SAT-Based Scalable Formal ...

Malay Ganai, Aa ...

List Price: $ 199.00

Our Price: $ 35.39

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings,3540262768,9783540262763
58 %

Theory and Applications o ...

Fahiem Bacchus, ...

List Price: $ 139.00

Our Price: $ 58.62