| 000 | 01172nam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | vtls000023540 | ||
| 003 | KUKTEM | ||
| 005 | 20251117144446.0 | ||
| 008 | 080116s2006 gw f 001 0 eng|d | ||
| 020 | _a3540372067 | ||
| 020 | _a9783540372066 | ||
| 039 | 9 |
_a201107131948 _bVLOAD _c200908141402 _dVLOAD _c200908141333 _dVLOAD _c200908131730 _dVLOAD _y200801161414 _zkam |
|
| 040 | _aUMP | ||
| 090 | _aQA9.3 .S28 2006 | ||
| 111 | 2 |
_aSAT 2006 _n(9th : _d2006 : _cSeattle, WA, USA) |
|
| 245 | 1 | 0 |
_aTheory and applications of satisfiability testing -- SAT 2006 : _b9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / _cArmin Biere, Carla P. Gomes (eds.) |
| 260 |
_aBerlin : _bSpringer, _c2006 |
||
| 300 |
_a438. : _bill. ; _c24 cm. |
||
| 440 | 0 |
_aLecture notes in computer science, _x4121 |
|
| 650 | 0 |
_aPropositional calculus _vCongresses |
|
| 650 | 0 |
_aDecision making _vCongresses |
|
| 650 | 0 |
_aComputer algorithms _vCongresses |
|
| 650 | 0 |
_aAlgebra, Boolean _vCongresses |
|
| 700 | 1 | _aBiere, Armin | |
| 700 | 1 | _aGomes, Carla | |
| 999 |
_aVIRTUA40 _c36731 _d36737 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1110*2450*2600*3000*4400*6500*6501*6502*6503*7000*7001*9991 | ||