As GP noted the issue is that even *better* versions than competed in MaxSAT are... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

ericpauley 3 months ago | parent | context | favorite | on: Autoresearch for SAT Solvers

As GP noted the issue is that even better versions than competed in MaxSAT are likely in the training data or web resources.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact