{"type":"ScholarlyArticle","title":"Automatic Synthesis of Numerical Computer Programs","authors":[{"name":"Richard H. Brown","slug":"richard-h-brown","given":"Richard H.","family":"Brown","affiliation":""}],"abstract":"This paper is about rule-based problem solving. It has a motto: Tht less a rult can do , tht bttttr tltt tfftcts of using it can be prtdlcttd. This motto suggests the key to obtaining coherent behavior by avoiding exponential behavior (combinatorial explosion) In a problem solving program for the domain of synthesizing numerical computer programs from their non-procedural specifications.","doi":null,"url":"https://ijcai.org/proceedings/1981/190","pdf":"https://ijcai.org/proceedings/1981/0190.pdf","markdown":"https://ijcai.org/proceedings/1981/190.md","bibtex":"https://ijcai.org/proceedings/1981/bibtex/190","volume":{"slug":"1981","title":"Proceedings of the Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1981","url":"https://ijcai.org/proceedings/1981/","year":1981,"location":"Vancouver, British Columbia, Canada","dates":"24-28 August 1981","editors":"Roger C. Schank","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automatic Programming","track":"Automatic Programming","number":190,"pages":{"first":998,"last":1002},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}