@inproceedings{KirchwegerScheucherSzeider22,
 author = {Markus Kirchweger and Manferd Scheucher and Stefan Szeider},
 booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
 doi = {10.4230/LIPIcs.SAT.2022.4},
 editor = {Kuldeep S. Meel and
Ofer Strichman},
 keywords = {reveal, slim},
 pages = {4:1--4:18},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {A {SAT} Attack on {Rota}’s Basis Conjecture},
 url = {https://doi.org/10.4230/LIPIcs.SAT.2022.4},
 volume = {236},
 year = {2022}
}