Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
0
1
SAT solvers can now outperform traditional optimization tools like CPLEX and Gurobi on the notoriously hard 2D-CSSP, especially when combined with problem-specific symmetry breaking.