Theory and Applications of Satisfiability Testing Armando Tacchella
53,49 €
Titel: Theory and Applications of Satisfiability Testing, Untertitel: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers, Einband: Taschenbuch, Autor: Armando Tacchella, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 548, Maße: 235x155x30 mm, Gewicht: 820 g, Verkäufer: buch-mimpf, Schlagworte: Informatik Algorithm analysis and problem complexity Erfüllbarkeitsproblem der Aussagenlogik Propositional Logic QBF Resolution SAT algorithms SAT solvers algorithms calculus data structures heuristics local search probabilistic algorithms proof theory proving satisfiability.
Jetzt bei Ebay:
