Theory and Applications of Satisfiability Testing - SAT 2009 Oliver Kullmann
Titel: Theory and Applications of Satisfiability Testing - SAT 2009, Untertitel: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, Einband: Taschenbuch, Autor: Oliver Kullmann, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 556, Maße: 235x155x30 mm, Gewicht: 832 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus EDV / Theorie / Allgemeines EDV / Theorie / Programmieren / Allgemeines Algorithm analysis and problem complexity Automat Constraint Programming Resolution algorithms circuit based solver complexity complexity theory computational complexity default logic distributed algorithms distributed systems exact algorithm heuristics hybrid solving technique.
Jetzt bei Ebay:
