LEADER 03281nam  22007335  450 
001 996465375603316
005 20230406034443.0
010   $a3-642-21581-5
024 7 $a10.1007/978-3-642-21581-0
035   $a(CKB)2670000000095872
035   $a(SSID)ssj0000530677
035   $a(PQKBManifestationID)11371676
035   $a(PQKBTitleCode)TC0000530677
035   $a(PQKBWorkID)10568320
035   $a(PQKB)11755345
035   $a(DE-He213)978-3-642-21581-0
035   $a(MiAaPQ)EBC3066842
035   $a(PPN)153868260
035   $a(EXLCZ)992670000000095872
100   $a20110610d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTheory and Application of Satisfiability Testing$b[electronic resource] $e14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings /$fedited by Karem A. Sakallah, Laurent Simon
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XIII, 371 p. 63 illus., 28 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6695
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-21580-7 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6695
606   $aComputer science
606   $aAlgorithms
606   $aMachine theory
606   $aArtificial intelligence
606   $aLogic design
606   $aComputer Science Logic and Foundations of Programming
606   $aTheory of Computation
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aLogic Design
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aLogic design.
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$aLogic Design.
676   $a005.1015113
702   $aSakallah$b Karem A$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSimon$b Laurent$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465375603316
996   $aTheory and Application of Satisfiability Testing$92831343
997   $aUNISA