most citedBattlesnake Challenge: A Multi-agent Reinforcement Learning Playground with Human-in-the-loop

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2021

On the Hierarchical Community Structure of Practical Boolean Formulas

Chunxiao Li, Jonathan Chung, Soham Mukherjee +5

Modern CDCL SAT solvers easily solve industrial instances containing tens of millions of variables and clauses, despite the theoretical intractability of the SAT problem. This gap…