Boldly Going Where No Prover Has Gone Before
I argue that the most interesting goal facing researchers in automated reasoning is being able to solve problems that cannot currently be solved by existing tools and methods. This may appear obvious, and is clearly not an original thought, but focusing on this as a primary goal allows us to examine...
Main Author: | Giles Reger |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2019-12-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1912.12958v1 |
Similar Items
-
Tamoxifen: how boldly to go where no women have gone before.
by: Gray, R
Published: (1993) -
Where no Labour government has gone before
by: Jackson, B
Published: (2023) -
“To boldly go where no series has gone before”. <i>Star Trek - The Original Series</i> in Italia: il linguaggio della tecno-scienza, il doppiaggio, il fandom
by: Giulia Iannuzzi
Published: (2014-12-01) -
Where has my time gone?
by: Zilberman, N, et al.
Published: (2017) -
Where Has All the Data Gone?
by: Farboodi, Maryam, et al.
Published: (2022)