2021
|
Robert Clausecker, Florian Schintke |
A Measure of Quality for IDA* Heuristics
|
Proceedings of the Fourteenth International Symposium on Combinatorial Search (SoCS 2021), pp. 55-63, 2021 |
PDF
BibTeX
|
Benjamin Kaiser, Robert Clausecker |
CleanMaple
|
SAT Competition 2021: Solver Descriptions, 2021 |
BibTeX
|
Benjamin Kaiser, Robert Clausecker |
CleanMaple_PriPro, CaDiCaL_PriPro and CaDiCaL_PriPro_no_bin
|
SAT Competition 2021: Solver Descriptions, 2021 |
BibTeX
|
2020
|
Robert Clausecker
|
The Quality of Heuristic Functions for IDA*
|
ZIB-Report 20-17 |
PDF
BibTeX
URN
|
2019
|
Robert Clausecker, Alexander Reinefeld |
Zero-Aware Pattern Databases with 1-Bit Compression for Sliding Tile Puzzles
|
Proceedings of the Twelfth International Symposium on Combinatorial Search (SoCS 2019), pp. 35-43, 2019 |
BibTeX
|
2017
|
Robert Clausecker
|
Notes on the Construction of Tablebases
|
Bachelor's thesis, Humboldt-Universität zu Berlin, Alexander Reinefeld, Johannes Köbler (Advisors), 2017 (preprint available as ZIB-Report 17-59) |
PDF (ZIB-Report)
BibTeX
|