Theory and Applications of Satisfiability Testing - SAT 2013 Allen van Gelder
53,49 €
Titel: Theory and Applications of Satisfiability Testing - SAT 2013, Untertitel: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings, Einband: Taschenbuch, Autor: Allen van Gelder, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 456, Maße: 235x155x25 mm, Gewicht: 686 g, Verkäufer: buch-mimpf, Schlagworte: Algorithm analysis and problem complexity SAT solvers constraint optimization experimental finite model theory information and communication, circuits proof complexity soft constraint.
Jetzt bei Ebay:
