TY  - GEN
AU  - Biere, Armin (Editor)
AU  - Heule, Marijn (Editor)
AU  - Maaren, Hans van (Editor)
AU  - Walsh,  Toby (Editor)
TI  - Handbook of satisfiability (in two parts)
SN  - 9781643681603
U1  - 511.3 BIE/H 
PY  - 2021///
CY  - Amsterdam
PB  - IOS Press
KW  - Algebra, Boolean
KW  - Computer algorithms
ER  -