skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Automating the search for answers to open questions

Abstract

This article provides evidence for the arrival of automated reasoning. Indeed, one of its primary goals of the early 1960s has been reached: The use of an automated reasoning program frequently leads to significant contributions to mathematics and to logic. In addition, although not clearly an original objective, the use of such a program now plays an important role for chip design and for program verification. That importance can be sharply increased; indeed, in this article the authors discuss the possible value of automated reasoning to finding better designs of chips, circuits, and computer code. They also provide insight into the mechanisms--in particular, strategy--that have led to numerous successes. To complement the evidence they present and to encourage further research, the offer challenges and open questions for consideration. They include a glimpse of the future and some commentary on the possibly unexpected benefits of automating the search for answers to open questions.

Authors:
;
Publication Date:
Research Org.:
Argonne National Lab., IL (US)
Sponsoring Org.:
US Department of Energy (US)
OSTI Identifier:
757535
Report Number(s):
ANL/MCS/CP-102043
Journal ID: ISSN 0302--9743; TRN: US200304%%188
DOE Contract Number:  
W-31109-ENG-38
Resource Type:
Conference
Resource Relation:
Journal Volume: 1869; Conference: Higher-Order Logic Conference, Portland, OR (US), 08/15/2000--08/18/2000; Other Information: PBD: 31 May 2000; PBD: 31 May 2000; PBD: 31 May 2000
Country of Publication:
United States
Language:
English
Subject:
42 ENGINEERING; 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; COMPUTER CODES; DESIGN; VERIFICATION; AUTOMATION; ANL

Citation Formats

Wos, L, and Fitelson, B. Automating the search for answers to open questions. United States: N. p., 2000. Web. doi:10.1007/3-540-44659-1_32.
Wos, L, & Fitelson, B. Automating the search for answers to open questions. United States. doi:10.1007/3-540-44659-1_32.
Wos, L, and Fitelson, B. Wed . "Automating the search for answers to open questions". United States. doi:10.1007/3-540-44659-1_32. https://www.osti.gov/servlets/purl/757535.
@article{osti_757535,
title = {Automating the search for answers to open questions},
author = {Wos, L and Fitelson, B},
abstractNote = {This article provides evidence for the arrival of automated reasoning. Indeed, one of its primary goals of the early 1960s has been reached: The use of an automated reasoning program frequently leads to significant contributions to mathematics and to logic. In addition, although not clearly an original objective, the use of such a program now plays an important role for chip design and for program verification. That importance can be sharply increased; indeed, in this article the authors discuss the possible value of automated reasoning to finding better designs of chips, circuits, and computer code. They also provide insight into the mechanisms--in particular, strategy--that have led to numerous successes. To complement the evidence they present and to encourage further research, the offer challenges and open questions for consideration. They include a glimpse of the future and some commentary on the possibly unexpected benefits of automating the search for answers to open questions.},
doi = {10.1007/3-540-44659-1_32},
journal = {},
issn = {0302--9743},
number = ,
volume = 1869,
place = {United States},
year = {2000},
month = {5}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: