{"product_id":"theory-and-applications-of-satisfiability-testing-sat-2017-20th-international-conference-melbourne-vic-australia-august-28-september-1-2017-proceedings-von-serge-gaspers-toby-walsh-toby-walsh-hrsg","title":"Theory and Applications of Satisfiability Testing – SAT 2017","description":"\n                                This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August\/September 2017.\n                \n                \u003cbr\u003e\n                                The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.\n                \n                \u003cbr\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319662626\"\u003e\u003ch3\u003e20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319662626","offer_id":39427391848541,"sku":"9783319662626","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/73461_41cd7c73-105b-44c5-8400-bf99923327af.jpg?v=1786248852","url":"https:\/\/shop.autorenwelt.de\/products\/theory-and-applications-of-satisfiability-testing-sat-2017-20th-international-conference-melbourne-vic-australia-august-28-september-1-2017-proceedings-von-serge-gaspers-toby-walsh-toby-walsh-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}