Hacker News new | ask | show | jobs
by hansvm 1181 days ago
Has the acyclic unbounded case been ruled out?