The Configurable SAT Solver Challenge (CSSC)

The Configurable SAT Solver Challenge (CSSC)

5 May 2015

Marius Lindauer

Holger Hoos

Kevin Leyton-Brown

Papers citing "The Configurable SAT Solver Challenge (CSSC)"

7 / 7 papers shown

Title
Optimization Problem Solving Can Transition to Evolutionary Agentic Workflows Wenhao Li Bo Jin Mingyi Hong Changhong Lu Xiangfeng Wang 48 0 0 07 May 2025
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks Matthias König Xiyue Zhang Holger H. Hoos Marta Kwiatkowska Jan N. van Rijn AAML 45 1 0 14 Jun 2024
On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro Marco Maratea Mauro Vallati 21 1 0 02 Mar 2022
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances Anastasia-Maria Leventi-Peetz O. Zendel Werner Lennartz Kai Weber 17 5 0 21 Dec 2021
Reproducibility in Evolutionary Computation Manuel López-Ibánez Juergen Branke L. Paquete 11 31 0 05 Feb 2021
Learning Heuristic Selection with Dynamic Algorithm Configuration David Speck André Biedenkapp Frank Hutter Robert Mattmüller Marius Lindauer 11 28 0 15 Jun 2020
Pitfalls and Best Practices in Algorithm Configuration Katharina Eggensperger Marius Lindauer Frank Hutter 26 62 0 17 May 2017