Sat2000de Toby WalshMateriasComputer algorithmsPropositional calculusDecision makingEdiciones (1)SAT2000 (2000)Ios Pr Inc · inglés · ISBN 9781586030612Más obras de Toby WalshHandbook of constraint programmingTheory and applications of satisfiability testingSAT 2005