{"type":"ScholarlyArticle","title":"Search for a Solution: A Case Study","authors":[{"name":"Robert Balzer","slug":"robert-balzer","given":"Robert","family":"Balzer","affiliation":""}],"abstract":"This paper describes a series of attempts at the solution of a conceptually tough problem, the Firing Squad Synchronization Problem. These attempts demonstrate an increasing reliance on man-machine symbiosis and decreasing reliance on powerful heuristics and preplanning. These attempts consist of a clerical checking program, and four attempts . utilizing a basic backtracking program for searching the solution space. The first two attempts, Serial Definition of Productions and Symbolic Definition of Productions were non-interactive entirely computer directed attempts at solution. The second two, Functional Planning and Constraint Satisfaction were man-machine symbiotic attempts designed to allow the human to control and direct the computer search of the solution space. The benefits of these symbiotic attempts and the problems encountered with them are discussed","doi":null,"url":"https://ijcai.org/proceedings/1969/3","pdf":"https://ijcai.org/proceedings/1969/0003.pdf","markdown":"https://ijcai.org/proceedings/1969/3.md","bibtex":"https://ijcai.org/proceedings/1969/bibtex/3","volume":{"slug":"1969","title":"Proceedings of the First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1969","url":"https://ijcai.org/proceedings/1969/","year":1969,"location":"Washington, DC, USA","dates":"May 7-9, 1969","editors":"Donald E. Walker and David C. Cooper","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Man-machine Symbiosis in Problem Solving","track":"Man-machine Symbiosis in Problem Solving","number":3,"pages":{"first":21,"last":32},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}