Home›Books›Sat2000Sat2000by Toby WalshNo description available.Computer algorithmsPropositional calculusDecision making