1. Home
  2. Medien
  3. Bücher
  4. Theory and Applications of Satisfiability Testing - SAT 2014
  • #
  • #

Theory and Applications of Satisfiability Testing - SAT 2014

53.49 EUR

Ein Fachbuch, das die Ergebnisse der SAT‑2014-Konferenz in Wien zusammenfasst, mit Fokus auf neue Algorithmen zur Erfüllbarkeitsprüfung und deren Einsatz in Logiksystemen sowie Optimierungsaufgaben.

Teilen:

Ähnliche Produkte

Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing - SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings

49.98 EUR
Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

53.49 EUR
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

53.49 EUR
Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing - SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Lecture Notes in Computer Science)

53.49 EUR
Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing - SAT 2016

42.79 EUR
Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing - SAT 2019

42.79 EUR