TY  - RPRT
TI  - Between proof construction and SAT-solving
AU  - Aleksy Schubert
AU  - Paweł Urzyczyn
AU  - Konrad Zdanowski
PY  - 2024
UR  - https://arxiv.org/abs/2405.05670
ID  - 2405.05670
ER  -