000798122 000__ 02013cam\a2200481Ii\4500
000798122 001__ 798122
000798122 005__ 20230306143507.0
000798122 006__ m\\\\\o\\d\\\\\\\\
000798122 007__ cr\cn\nnnunnun
000798122 008__ 170817s2017\\\\sz\a\\\\o\\\\\101\0\eng\d
000798122 020__ $$a9783319662633$$q(electronic book)
000798122 020__ $$a3319662635$$q(electronic book)
000798122 020__ $$z9783319662626
000798122 0247_ $$a10.1007/978-3-319-66263-3$$2doi
000798122 035__ $$aSP(OCoLC)on1001288063
000798122 035__ $$aSP(OCoLC)1001288063
000798122 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dOCLCF$$dUAB
000798122 049__ $$aISEA
000798122 050_4 $$aQA76.9.A43
000798122 08204 $$a005.1$$223
000798122 1112_ $$aSAT (Conference)$$n(20th :$$d2017 :$$cMelbourne, Vic.)
000798122 24510 $$aTheory and applications of satisfiability testing -- SAT 2017 :$$b20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings /$$cSerge Gaspers, Toby Walsh (eds.).
000798122 2463_ $$aSAT 2017
000798122 264_1 $$aCham, Switzerland :$$bSpringer,$$c2017.
000798122 300__ $$a1 online resource (xiii, 476 pages) :$$billustrations.
000798122 336__ $$atext$$btxt$$2rdacontent
000798122 337__ $$acomputer$$bc$$2rdamedia
000798122 338__ $$aonline resource$$bcr$$2rdacarrier
000798122 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v10491
000798122 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000798122 500__ $$aIncludes author index.
000798122 506__ $$aAccess limited to authorized users.
000798122 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed August 17, 2017).
000798122 650_0 $$aComputer algorithms$$vCongresses.
000798122 650_0 $$aComputer software$$xVerification$$vCongresses.
000798122 7001_ $$aGaspers, Serge,$$eeditor.
000798122 7001_ $$aWalsh, Toby,$$eeditor.
000798122 830_0 $$aLecture notes in computer science ;$$v10491.
000798122 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000798122 852__ $$bebk
000798122 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-66263-3$$zOnline Access$$91397441.1
000798122 909CO $$ooai:library.usi.edu:798122$$pGLOBAL_SET
000798122 980__ $$aEBOOK
000798122 980__ $$aBIB
000798122 982__ $$aEbook
000798122 983__ $$aOnline
000798122 994__ $$a92$$bISE