← All topics
maxsat
Latest stories covering maxsat, with summaries and links to related coverage.
1 stories · 1 reports · page 1 of 1
Connected topics
Autoresearch for SAT Solvers
tool
5 min read
An autonomous AI agent teaches itself to become the world's top expert on MaxSAT by analyzing 229 weighted MaxSAT instances from the 2024 MaxSAT Evaluation. It discovers novel strategies, finds better solutions, and iteratively refines its toolbox without human guidance.