as its from 2024 (MaxSAT was not held in 2025), its quite likely all the solvers... | Hacker News

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

chaisan 4 months ago | parent | context | favorite | on: Autoresearch for SAT Solvers

as its from 2024 (MaxSAT was not held in 2025), its quite likely all the solvers are in the training data. so the interesting part here is the instances for which we actually got better costs that what is currently known (in the best-cost.csv) file.

ericpauley 4 months ago [–]

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