1 paper · 1 filter
Markus Kirchweger, Hai Xia, Tomáš Peitl +1
Parallel solving via cube-and-conquer is a key method for scaling SAT solvers to hard instances. While cube-and-conquer has proven successful for pure SAT problems, notably the Pyt…