220622062de Toby WalshMateriasArtificial intelligenceEdiciones (1)2062 (2018)Schwartz Publishing Pty, Limited · inglés · ISBN 9781760640514Más obras de Toby WalshHandbook of constraint programmingTheory and applications of satisfiability testingSAT 2005