TY  - GEN
AU  - Biere, Armin.
CN  - QA9.3
CY  - Amsterdam, The Netherlands ;
CY  - Washington, DC :
DA  - c2009.
ID  - 457461
KW  - Propositional calculus
KW  - Decision making
KW  - Computer algorithms
KW  - Algebra, Boolean
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10309230
PB  - IOS Press,
PP  - Amsterdam, The Netherlands ;
PP  - Washington, DC :
PY  - c2009.
T1  - Handbook of satisfiability
TI  - Handbook of satisfiability
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10309230
VL  - v. 185
ER  -