| 000 | 02879nam a22005415i 4500 | ||
|---|---|---|---|
| 001 | vtls000560844 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922090311.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 170212s2015 gw | s |||| 0|eng d | ||
| 020 |
_a9783319243184 _9978-3-319-24318-4 |
||
| 024 | 7 |
_a10.1007/978-3-319-24318-4 _2doi |
|
| 035 | _ato000560844 | ||
| 040 |
_aSpringer _cSpringer _dRU-ToGU |
||
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUY _2bicssc |
|
| 072 | 7 |
_aUYA _2bicssc |
|
| 072 | 7 |
_aCOM014000 _2bisacsh |
|
| 072 | 7 |
_aCOM031000 _2bisacsh |
|
| 082 | 0 | 4 |
_a004.0151 _223 |
| 245 | 1 | 0 |
_aTheory and Applications of Satisfiability Testing -- SAT 2015 _helectronic resource _b18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / _cedited by Marijn Heule, Sean Weaver. |
| 250 | _a1st ed. 2015. | ||
| 260 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
||
| 300 |
_aXX, 436 p. 94 illus. in color. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _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. | ||
| 650 | 0 |
_aComputer Science. _9155490 |
|
| 650 | 0 |
_acomputers. _9460101 |
|
| 650 | 0 |
_aComputer science _xMathematics. _9304486 |
|
| 650 | 0 |
_aArtificial intelligence. _9274099 |
|
| 650 | 1 | 4 |
_aComputer Science. _9155490 |
| 650 | 2 | 4 |
_aTheory of Computation. _9303507 |
| 650 | 2 | 4 |
_aArtificial Intelligence (incl. Robotics). _9274102 |
| 650 | 2 | 4 |
_aMathematics of Computing. _9303612 |
| 700 | 1 |
_aHeule, Marijn. _eeditor. _9467881 |
|
| 700 | 1 |
_aWeaver, Sean. _eeditor. _9467882 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
| 773 | 0 | _tSpringer eBooks | |
| 830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-24318-4 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 | _c415457 | ||