Is meta-learning still useful for SAT solving (e.g SATzilla)? | Hacker News

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

anjc on May 19, 2019 | parent | context | favorite | on: Modern SAT solvers: fast, neat and underused

Is meta-learning still useful for SAT solving (e.g SATzilla)?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact