Rippling: meta-level guidance for mathematical reasoning
Auteur :
Bundy, Alan / Basin, David / Hutter, Dieter / Ireland, Andrew
Éditeur :
Cambridge University Press
ISBN :
9780521834490
Date de publication :
30 juin 2005
Dimensions :
23,7 x 15,8 x 1,9 cm
Poids :
475 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving.