000			02834nam a22004575i 4500
003			DE-He213
005			20231104114157.0
007			cr nn 008mamaa
008			150911s2015 gw | s |||| 0|eng d
020			_a9783319243184 _z978-3-319-24318-4
024	7		_a10.1007/978-3-319-24318-4 _2doi
050		4	_aQA75.5-76.95
072		7	_aUY _2bicssc
072		7	_aCOM014000 _2bisacsh
072		7	_aUY _2thema
072		7	_aUYA _2thema004.0151 _223
245	1	0	_aTheory and Applications of Satisfiability Testing -- SAT 2015 : _b18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / _cedited by Marijn Heule, Sean Weaver.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015.
300			_a1 online resource
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	0		_aTheoretical Computer Science and General Issues ; _v9340
520			_aThis book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation. The paper 'Constructing SAT Filters with a Quantum Annealer' is published open access under a CC BY-NC 2.5 license at link.springer.com.
650		0	_aInformation theory.
650		0	_aArtificial intelligence.
650		0	_aComputer science.
650	1	4	_aTheory of Computation. _0http://scigraph.springernature.com/things/product-market-codes/I16005
650	2	4	_aArtificial Intelligence. _0http://scigraph.springernature.com/things/product-market-codes/I21000
650	2	4	_aMathematics of Computing. _0http://scigraph.springernature.com/things/product-market-codes/I17001
700	1		_aHeule, Marijn. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aWeaver, Sean. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
856	4	0	_uhttps://doi.org/10.1007/978-3-319-24318-4 _3Springer eBooks _zOnline access link to the resource
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c200433640 _d51852
942			_2lcc _cEBK
041			_aeng