A SAT Attack on Rota’s Basis Conjecture

Kirchweger, Markus; Scheucher, Manferd; Szeider, Stefan

doi:10.4230/LIPIcs.SAT.2022.4

by Markus Kirchweger, Manferd Scheucher, Stefan Szeider

Reference:

A SAT Attack on Rota’s Basis ConjectureMarkus Kirchweger, Manferd Scheucher, Stefan Szeider25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel, Ofer Strichman, eds.), volume 236 of LIPIcs, pages 4:1–4:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Bibtex Entry:

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