| 000 | 00726 a2200241 4500 | ||
|---|---|---|---|
| 999 |
_c2092 _d2092 |
||
| 005 | 20230314115039.0 | ||
| 008 | 230314b ||||| |||| 00| 0 eng d | ||
| 020 | _a9781643681603 | ||
| 041 | _aeng | ||
| 082 | _a511.3 BIE/H | ||
| 100 |
_aBiere, Armin (Editor) _96977 |
||
| 245 | _aHandbook of satisfiability (in two parts) | ||
| 250 | _a2nd ed. | ||
| 260 |
_bIOS Press _c2021 _aAmsterdam |
||
| 300 | _avarious pagings | ||
| 440 |
_aFrontiers in artificial intelligence and applications _96978 |
||
| 650 |
_aAlgebra, Boolean _96979 |
||
| 650 |
_aComputer algorithms _9828 |
||
| 700 |
_aHeule, Marijn (Editor) _96980 |
||
| 700 |
_aMaaren, Hans van (Editor) _96981 |
||
| 700 |
_aWalsh, Toby (Editor) _96982 |
||
| 942 | _cBK | ||