Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

by Karem A. Sakallah, Laurent Simon Paperback 2011

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Karem A. Sakallah, Laurent Simon
  • ISBN 13: 9783642215803
  • ISBN 10: 3642215807
  • Publication Year: 2011
  • Language: English

Specifications

Index-10 3642215807
Index-13 9783642215803
Language English

✨ Readers also enjoyed...

View All →
Theory and Applications of Satisfiability Testing - Sat 2007 : 10th International Conference, Lisbon, Portugal, May 2007 - Proceedings

Theory and Applications of Satisfi…

Joao Marques-Silva, Karem A. Sakallah

Inquire
Bankenrechnungslegung Nach IAS/IFRS - Glaeubigerschutz Durch Information? : Ein Kritischer Vergleich Mit Den Regeln des Deutschen Rechts

Bankenrechnungslegung Nach IAS/IFR…

Tobias Schönbeck, Tobias Schönbeck

Inquire
A History of the Jews in Rome. B. C. 160-A. D. 604

A History of the Jews in Rome. B. …

Elizabeth Harriot Hudson

Inquire