Published January 25, 2022
| Version v2.0
Dataset
Open
Dataset for "Too much information: CDCL solvers need to forget and perform restarts"
Authors/Creators
- 1. Ulm University, Institute of Theoretical Computer Science
Description
This repository contains all generated data and evaluations of the paper "Too much information: CDCL solvers need to forget and perform restarts" by Tom Krüger, Jan-Hendrik Lorenz, and Florian Wörz.
In particular, this collection contains the scripts for obtaining the sets \(\mathbb{L}\) (cores) and reconstructing our sampled sets \(L\) (ext_bitstrings). Furthermore, all data obtained by calling \(\mathrm{CDCLSolver}(\mathscr{F} \cup L)\) can be found. Additionally, we included visual and statistical evaluations used in this paper.
Notes
The authors acknowledge support by the state of Baden-Württemberg through bwHPC. Tom Krüger and Florian Wörz: Supported by the Deutsche Forschungsgemeinschaft (DFG) under project number 430150230, ``Complexity measures for solving propositional formulas''.
Files
Additional details
References
- Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz (2022). Related to arXiv:2202.01030