| 000 | 00737 a2200229 4500 | ||
|---|---|---|---|
| 020 | _a9781586039295 | ||
| 040 |
_aDLC _bDLC |
||
| 100 | _aBiere, Armin | ||
| 245 | 0 | 0 |
_aHandbook of satisfiability _cArmin Biere |
| 260 |
_aAmsterdam, The Netherlands ; _aWashington, DC ; _bIOS Press, _cc2009. |
||
| 300 |
_axiii, 966 p. : _bill. ; _c25 cm. |
||
| 490 | 0 |
_aFrontiers in artificial intelligence and applications, _x0922-6389 ; _vv. 185 |
|
| 650 | 0 | _aPropositional calculus | |
| 650 | 0 | _aDecision making | |
| 650 | 0 | _aComputer algorithms | |
| 650 | 0 | _aAlgebra, Boolean | |
| 650 | 0 | _aAlgorithmus. | |
| 650 | 0 | _aAnwendung. | |
| 650 | 0 | _aBerechnungskomplexit�at. | |
| 650 | 0 | _aErf�ullbarkeitsproblem. | |
| 942 |
_cBK _k511.3 BIE _2ddc |
||
| 999 |
_c10459 _d10459 |
||