@misc{indiciaebd94edf2dca7,
  title = {A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems},
  author = {Predrag Janičić},
  year = {2026},
  url = {https://arxiv.org/abs/2511.18639},
  note = {Source identifier: 2511.18639}
}