Search Results for author:
Found 3 papers, 0 papers with code
Elastic Solver: Balancing Solution Time and Energy Consumption
We analyse the impact of the number of machines (or cores) on not only solution time but also on energy consumption.
Transformation-based Feature Computation for Algorithm Portfolios
For a portfolio approach to be effective there are two crucial conditions that must be met.
Proteus: A Hierarchical Portfolio of Solvers and Transformations
In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
