There is a huge field of study dedicated to automated theorem proving. Is there any similar research dedicated to automated algorithm design? And is there any form of "duality" between these two processes (automated theorem proving vs automated algorithm design)?
$\begingroup$
$\endgroup$
1
asked Oct 25, 2020 at 22:40
-
3$\begingroup$ en.wikipedia.org/wiki/Program_synthesis $\endgroup$– D.W. ♦Commented Oct 25, 2020 at 22:41
Add a comment
|