Recoverable Identifier

arXiv:2605.04819 · detector doi_compliance · incontrovertible · 2026-05-19 14:07:35.809887+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.48550/arxiv.2505) was visible in the surrounding text but could not be confirmed against doi.org as printed.

Paper page Integrity report arXiv Try DOI

Evidence text

doi: 10.48550/ARXIV .2505. 16053. Vizel, Y ., Weissenbacher, G., and Malik, S. Boolean satisfiability solvers and their applications in model checking.Proc. IEEE, 103(11):2021–2035,

Evidence payload

{
  "printed_excerpt": "doi: 10.48550/ARXIV .2505. 16053. Vizel, Y ., Weissenbacher, G., and Malik, S. Boolean satisfiability solvers and their applications in model checking.Proc. IEEE, 103(11):2021\u20132035,",
  "reconstructed_doi": "10.48550/arxiv.2505",
  "ref_index": 27,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}