01425nam a2200337Ia 4500001001200000003000800012006001900020007001500039008004100054020001800095020001500113040002100128035002100149050002300170245009300193260007100286300002500357490008000382504005300462533015200515650004000667650003300707650003700740650003400777655002900811700001800840710001700858830006900875856012600944999001701070ebr10309230CaPaEBRm        u        cr cn|||||||||081220s2009    ne a    sb    001 0 eng d  z9781586039295  z1586039296  aCaPaEBRcCaPaEBR  a(OCoLC)43035595414aQA9.3b.H36 2009eb00aHandbook of satisfiabilityh[electronic resource] /cedited by Armin Biere ... [et al.].  aAmsterdam, The Netherlands ;aWashington, DC :bIOS Press,cc2009.  axiii, 966 p. :bill.1 aFrontiers in artificial intelligence and applications,x0922-6389 ;vv. 185  aIncludes bibliographical references and indexes.  aElectronic reproduction.bPalo Alto, Calif. :cebrary,d2011.nAvailable via World Wide Web.nAccess may be limited to ebrary affiliated libraries. 0aPropositional calculusvCongresses. 0aDecision makingvCongresses. 0aComputer algorithmsvCongresses. 0aAlgebra, BooleanvCongresses. 7aElectronic books.2local1 aBiere, Armin.2 aebrary, Inc. 0aFrontiers in artificial intelligence and applications ;vv. 185.40uhttp://site.ebrary.com/lib/rucke/Doc?id=10309230zAn electronic book accessible through the World Wide Web; click to view  c61695d61695