@inproceedings{ZhangPeitlSzeider24,
 address = {Dagstuhl, Germany},
 author = {Tianwei Zhang  and Tom{\'{a}}\v{s} Peitl and Stefan Szeider},
 booktitle = {27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)},
 doi = {10.4230/LIPIcs.SAT.2024.31},
 editor = {Chakraborty, Supratik and Jiang, Jie-Hong Roland},
 isbn = {978-3-95977-334-8},
 issn = {1868-8969},
 keywords = {strides},
 pages = {31:1--31:22},
 pdf = {https://drops.dagstuhl.de/storage/00lipics/lipics-vol305-sat2024/LIPIcs.SAT.2024.31/LIPIcs.SAT.2024.31.pdf},
 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{ü}r Informatik},
 series = {Leibniz International Proceedings in Informatics (LIPIcs)},
 title = {Small unsatisfiable k-CNFs with bounded literal occurrence},
 volume = {305},
 year = {2024}
}