Amazon’s Byron Cook, Daniel Kröning, and Marijn Heule discussed automated reasoning’s prospects

submitted by /u/amazonscience
[link] [comments]

from programming https://www.reddit.com/r/programming/comments/wji2cw/amazons_byron_cook_daniel_kröning_and_marijn/