Recoverable Identifier

arXiv:2605.03654 · detector doi_compliance · incontrovertible · 2026-05-19 15:07:44.381714+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-24605-3\_37) 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

Niklas E´ en and Niklas S¨ orensson. An extensible sat-solver. In Enrico Giunchiglia and Armando Tacchella, editors,Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Mar- gherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers, volume 2919 ofLecture Notes in Computer Science, pages 502–518. Springer, 2003. doi:10.1007/978-3-540-24605-3\_37

Evidence payload

{
  "printed_excerpt": "Niklas E\u00b4 en and Niklas S\u00a8 orensson. An extensible sat-solver. In Enrico Giunchiglia and Armando Tacchella, editors,Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Mar- gherita Ligure, Italy,",
  "reconstructed_doi": "10.1007/978-3-540-24605-3\\_37",
  "ref_index": 9,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}