03222nam 22007455 450 991048494580332120230222162123.03-319-66263-510.1007/978-3-319-66263-3(CKB)3710000001631273(DE-He213)978-3-319-66263-3(MiAaPQ)EBC5591128(PPN)203850343(EXLCZ)99371000000163127320170808d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTheory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /edited by Serge Gaspers, Toby Walsh1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIII, 476 p. 68 illus.) Theoretical Computer Science and General Issues,2512-2029 ;10491Includes index.3-319-66262-7 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. 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.Theoretical Computer Science and General Issues,2512-2029 ;10491Computer scienceArtificial intelligenceSoftware engineeringOperating systems (Computers)Computer engineeringComputer networksNumerical analysisTheory of ComputationArtificial IntelligenceSoftware EngineeringOperating SystemsComputer Engineering and NetworksNumerical AnalysisComputer science.Artificial intelligence.Software engineering.Operating systems (Computers).Computer engineering.Computer networks.Numerical analysis.Theory of Computation.Artificial Intelligence.Software Engineering.Operating Systems.Computer Engineering and Networks.Numerical Analysis.005.1Gaspers Sergeedthttp://id.loc.gov/vocabulary/relators/edtWalsh Tobyedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484945803321Theory and Applications of Satisfiability Testing – SAT 20172812245UNINA