LEADER 03401nam  22007335  450 
001 996465385003316
005 20230329154026.0
010   $a3-642-31612-3
024 7 $a10.1007/978-3-642-31612-8
035   $a(CKB)3400000000085378
035   $a(SSID)ssj0000697633
035   $a(PQKBManifestationID)11438873
035   $a(PQKBTitleCode)TC0000697633
035   $a(PQKBWorkID)10709506
035   $a(PQKB)11618589
035   $a(DE-He213)978-3-642-31612-8
035   $a(MiAaPQ)EBC3071016
035   $a(PPN)168319853
035   $a(EXLCZ)993400000000085378
100   $a20120616d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTheory and Applications of Satisfiability Testing -- SAT 2012$b[electronic resource] $e15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings /$fedited by Alessandro Cimatti, Roberto Sebastiani
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XIV, 500 p. 364 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7317
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-31611-5 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7317
606   $aComputer science
606   $aAlgorithms
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputer science?Mathematics
606   $aComputer Science Logic and Foundations of Programming
606   $aTheory of Computation
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aMathematical Applications in Computer Science
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputer science?Mathematics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aTheory of Computation.
615 24$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aMathematical Applications in Computer Science.
676   $a005.1/4
702   $aCimatti$b Alessandro$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSebastiani$b Roberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465385003316
996   $aTheory and Applications of Satisfiability Testing -- SAT 2012$92829758
997   $aUNISA