1. Home
  2. Medien
  3. Bücher
  4. Theory and Applications of Satisfiability Testing ¿ SAT 2017

Theory and Applications of Satisfiability Testing ¿ SAT 2017

53.49 EUR 52.94 EUR 1% Off

Dieses Buch präsentiert die neuesten Erkenntnisse der 20. Internationalen Konferenz zu Satisfiability Testing aus Melbourne, beleuchtet innovative SAT‑Algorithmen, Modellierungsansätze und deren Einsatz in KI sowie Optimierungsproblemen.

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 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science)

53.49 EUR
Theory and Applications of Satisfiability Testing SAT 2020

Theory and Applications of Satisfiability Testing SAT 2020

49.98 EUR
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science, Band 12831)

Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science, Band 12831)

116.64 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 2007, Fachbücher

53.49 EUR