Isbn: 9783642390708 - theory and applications of satisfiability testing - sat 2013: 16th international conference, helsinki, finland, july 8-12, 2013, proceedings ... science and general issues, band 7962) (2 Ergebnisse)

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013.The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers).The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity.…

Taschenbuch. Zustand: Neu. Theory and Applications of Satisfiability Testing - SAT 2013 | 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings | Matti Järvisalo (u. a.) | Taschenbuch | xvi | Englisch | 2013 | Springer | EAN 9783642390708 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …