TY - BOOK ID - 77909337 TI - Handbook of satisfiability PY - 2009 SN - 1441616780 160750376X 6000014392 9781441616784 9781607503767 9781586039295 1586039296 9786000014391 PB - Amsterdam Washington, DC IOS Press DB - UniCat KW - Propositional calculus KW - Decision making KW - Computer algorithms KW - Algebra, Boolean KW - Boolean algebra KW - Boole's algebra KW - Algebraic logic KW - Set theory KW - Calculus, Propositional KW - Logic, Symbolic and mathematical UR - https://www.unicat.be/uniCat?func=search&query=sysid:77909337 AB - A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers. ER -