Theory and Applications of Satisfiability Testing David G. Mitchell
Titel: Theory and Applications of Satisfiability Testing, Untertitel: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, Einband: Taschenbuch, Autor: David G. Mitchell, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 412, Maße: 235x155x23 mm, Gewicht: 622 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus Betriebssystem (EDV) Operating System Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Mathematik Addition Algorithm analysis and problem complexity Boolean variable Erfüllbarkeitsproblem der Aussagenlogik QBF SAT algorithms SAT solvers Variable algorithms calculus complexity complexity theory heuristics local search probabilistic algorithms satisfiability testing.
Jetzt bei Ebay:
