Theory and Applications of Satisfiability Testing Toby Walsh
53,49 €
Titel: Theory and Applications of Satisfiability Testing, Untertitel: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings, Einband: Taschenbuch, Autor: Toby Walsh, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 508, Maße: 235x155x28 mm, Gewicht: 762 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus 3-SAT Algorithm analysis and problem complexity Arithmetic Learning Optimization Propositional Logic QBF Resolution SAT algorithms algorithms logic probabilistic algorithms proof proof theory satisfiability satisfiability testing.
Jetzt bei Ebay:
