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/11499107\_5) 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 Armin Biere. Effective preprocessing in SAT through vari- able and clause elimination. In Fahiem Bacchus and Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Confer- ence, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, volume 3569 ofLecture Notes in Computer Science, pages 61–75. Springer, 2005. doi:10.1007/11499107\_5. 20

Evidence payload

{
  "printed_excerpt": "Niklas E\u00b4 en and Armin Biere. Effective preprocessing in SAT through vari- able and clause elimination. In Fahiem Bacchus and Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Confer- ence, SAT 2005, ",
  "reconstructed_doi": "10.1007/11499107\\_5",
  "ref_index": 8,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}