Handbook of Parallel Constraint Reasoning Lakhdar Sais
Titel: Handbook of Parallel Constraint Reasoning, Einband: Buch, Autor: Lakhdar Sais, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 704, Maße: 241x160x43 mm, Gewicht: 1209 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Entscheidungstheorie Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Mathematik Mathematik / Informatik, Computer Operations Research Unternehmensforschung Optimierung Roboter - Robotik - Industrieroboter Algorithm configuration Algorithm selection Answer Set Programming (ASP) Constraint programming (CP) MaxSAT Parallel Solving Quantified Boolean Formulas (QBF) SAT Modulo Theory (SMT) Satisfiability (SAT) Theorem Proving (TP) local search.
Jetzt bei Ebay:
![Produktbild - Handbook of Parallel Constraint Reasoning by Youssef Hamadi [Paperback]](https://i.ebayimg.com/thumbs/images/g/0MkAAeSwiKJoJyvD/s-l140.jpg)
