no code implementations • 23 May 2016 • Barry Hurley, Deepak Mehta, Barry O'Sullivan
We analyse the impact of the number of machines (or cores) on not only solution time but also on energy consumption.
no code implementations • 10 Jan 2014 • Barry Hurley, Serdar Kadioglu, Yuri Malitsky, Barry O'Sullivan
For a portfolio approach to be effective there are two crucial conditions that must be met.
no code implementations • 24 Jun 2013 • Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O'Sullivan
In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common.