← All topics
optimization-strategies
Latest stories covering optimization-strategies, 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.