@inproceedings{eed236f2b9a44dd194ac4caf01e9a1f8,
title = "A single-significant-digit calculus for semi-automated guesstimation",
abstract = "We describe a single-significant-digit calculus for estimating approximate solutions to guesstimation problems. The calculus is formalised as a collection of proof methods, which are combined into proof plans. These proof methods have been implemented as rewrite rules and successfully evaluated in an interactive system, gort, which forms a customised proof plan for each problem and then executes the plan to obtain a solution.",
author = "Abourbih, {Jonathan A.} and Luke Blaney and Alan Bundy and Fiona McNeill",
year = "2010",
doi = "10.1007/978-3-642-14203-1_31",
language = "English",
isbn = "978-3-642-14202-4",
volume = "6173",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "354--368",
editor = "J{\"u}rgen Giesl and Reiner H{\"a}hnle",
booktitle = "Automated Reasoning",
address = "Switzerland",
}