EasyChair Smart Slide
Combining Cubic Dynamical Solvers with Make/Break Heuristics to Solve SAT
Combining Cubic Dynamical Solvers with Make/Break Heuristics to Solve SAT