Hardback
Add to list Added to list Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy (University of Edinburgh),David Basin (ETH Zentrum, Switzerland),Dieter Hutter,Andrew Ireland (Heriot-Watt University, Edinburgh)
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…
Available to order, ships in approx 2 weeksAvailable to order