| 000 | 00801nam a22002777a 4500 | ||
|---|---|---|---|
| 003 | IIITD | ||
| 005 | 20200214154325.0 | ||
| 008 | 200212b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781586039295 | ||
| 040 | _aIIITD | ||
| 082 |
_a511.3 _bBIE-H |
||
| 245 |
_aHandbook of satisfiability _cby Armin Biere ...[et al]. |
||
| 260 |
_bIOS Press, _aAmsterdam : _c©2009 |
||
| 300 |
_axiii, 966 p. ; _c25cm. |
||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aMathematics | ||
| 650 | _aDecision making | ||
| 650 | _aAlgebra, Boolean | ||
| 650 | _aPropositional calculus | ||
| 650 | _aComputer algorithms | ||
| 700 |
_aBiere, Armin _eeditor |
||
| 700 |
_aHeule, Marijn _eeditor |
||
| 700 |
_aMareen, Hans Van _eeditor |
||
| 700 |
_aWalsh, Toby _eeditor |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c117462 _d117462 |
||