TY  - RPRT
TI  - A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems
AU  - Predrag Janičić
PY  - 2026
UR  - https://arxiv.org/abs/2511.18639
ID  - 2511.18639
ER  -