Hacker News new | past | comments | ask | show | jobs | submit
kingstnap | on: The Exponential Time Hypothesis Is False [pdf]
I also haven't read ths paper but coding agents absolutely are a part of modern SAT solver coding challenges.