4 citations · 8 across the 5 of their papers we have counts for
1 paper · 2 filters
Rastislav Lenhardt
In the last decade, the power of the state-of-the-art SAT and Integer Programming solvers has dramatically increased. They implement many new techniques and heuristics and since an…