25 citations · 97 across the 22 of their papers we have counts for
1 paper · 2 filters
Barry Hurley, Lars Kotthoff, Yuri Malitsky +1
In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different encodings for representing CSPs as SAT…