User:Intractilicious/Books/logicstuff

logic stuff

 * Boolean satisfiability problem
 * Satisfiability modulo theories
 * Answer set programming