TY  - RPRT
TI  - Spanning Matrices via Satisfiability Solving
AU  - Clemens Eisenhofer
AU  - Michael Rawson
AU  - Laura Kovács
PY  - 2024
UR  - https://arxiv.org/abs/2402.10610
ID  - 2402.10610
ER  -