LEADER 03247nam  22007455  450 
001 996466152603316
005 20230222162123.0
010   $a3-319-66263-5
024 7 $a10.1007/978-3-319-66263-3
035   $a(CKB)3710000001631273
035   $a(DE-He213)978-3-319-66263-3
035   $a(MiAaPQ)EBC5591128
035   $a(PPN)203850343
035   $a(EXLCZ)993710000001631273
100   $a20170808d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTheory and Applications of Satisfiability Testing ? SAT 2017$b[electronic resource] $e20th International Conference, Melbourne, VIC, Australia, August 28 ? September 1, 2017, Proceedings /$fedited by Serge Gaspers, Toby Walsh
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XIII, 476 p. 68 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10491
300   $aIncludes index.
311   $a3-319-66262-7 
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10491
606   $aComputer science
606   $aArtificial intelligence
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aComputer engineering
606   $aComputer networks
606   $aNumerical analysis
606   $aTheory of Computation
606   $aArtificial Intelligence
606   $aSoftware Engineering
606   $aOperating Systems
606   $aComputer Engineering and Networks
606   $aNumerical Analysis
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aSoftware engineering.
615  0$aOperating systems (Computers).
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aNumerical analysis.
615 14$aTheory of Computation.
615 24$aArtificial Intelligence.
615 24$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aComputer Engineering and Networks.
615 24$aNumerical Analysis.
676   $a005.1
702   $aGaspers$b Serge$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWalsh$b Toby$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466152603316
996   $aTheory and Applications of Satisfiability Testing ? SAT 2017$92812245
997   $aUNISA