TY  - RPRT
TI  - On SAT information content, its polynomial-time solvability and fixed code algorithms
AU  - Maciej Drozdowski
PY  - 2024
UR  - https://arxiv.org/abs/2401.00947
ID  - 2401.00947
ER  -