Theory and Applications of Satisfiability Testing -- SAT 2015 Sean Weaver
Titel: Theory and Applications of Satisfiability Testing -- SAT 2015, Untertitel: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, Einband: Taschenbuch, Autor: Sean Weaver, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 456, Maße: 235x155x25 mm, Gewicht: 686 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Boolean optimization Combinatorial theory of satisfiability Constraint Programming Exact and parameterized algorithms MaxSAT QBF Random instances SAT SAT solvers SMT Search algorithms and heuristics analysis of algorithms computational complexity formal methods logic proof complexity proof systems propositional satisfiability problem quantified Boolean formulas satisfiability modulo theories.
Jetzt bei Ebay:
