01698nam a2200409Ia 4500001001000000003000700010005001700017006001900034007001500053008004100068020003600109020002700145035002200172035002300194035002500217035002300242035002100265040004100286050002100327245009300348260007100441300002500512490008000537504005300617590014700670650004800817650004100865650004500906650004200951655002900993700002601022710002801048797002001076830007701096856009601173999001901269EBC448770MiAaPQ20250821105125.0m     o  d |      cr cnu||||||||081220s2009    ne a    ob    001 0 eng d  a9781607503767q(electronic bk.)  z9781586039295q(print)  a(MiAaPQ)EBC448770  a(Au-PeEL)EBL448770  a(CaPaEBR)ebr10309230  a(CaONFJC)MIL577647  a(OCoLC)935268045  aMiAaPQbengerdaepncMiAaPQdMiAaPQ 4aQA9.3b.H36 200900aHandbook 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. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 0aPropositional calculusvCongresses.9212768 0aDecision makingvCongresses.9212769 0aComputer algorithmsvCongresses.9212770 0aAlgebra, BooleanvCongresses.9212771 4aElectronic books.9351421 aBiere, Armin.92127722 aProQuest (Firm)92127732 aProQuest (Firm) 0aFrontiers in artificial intelligence and applications ;vv. 185.921277440uhttps://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=448770zClick to View  c251279d251279