Theory and Applications of Satisfiability Testing - SAT 2014 Uwe Egly
68,48 €
Titel: Theory and Applications of Satisfiability Testing - SAT 2014, Untertitel: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, Einband: Taschenbuch, Autor: Uwe Egly, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 476, Maße: 235x155x26 mm, Gewicht: 715 g, Verkäufer: buch-mimpf, Schlagworte: Boolean optimization Constraint Programming MaxSAT QBF SAT SAT solvers SMT computational complexity logic proof complexity propositional satisfiability problem quantified Boolean formulas satisfiability modulo theories theorem proving and SAT solving theory of computation.
Jetzt bei Ebay:
