Recoverable Identifier

arXiv:2605.15506 · detector doi_compliance · incontrovertible · 2026-05-19 15:30:41.489213+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-319-24318-418) 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

Carlos Ans ´otegui et al. “Using Community Struc- ture to Detect Relevant Learnt Clauses”. In: Theory and Applications of Satisfiability Testing (SAT). 2015, pp. 238–254.DOI: 10.1007/978-3- 319-24318-4 18

Evidence payload

{
  "printed_excerpt": "Carlos Ans \u00b4otegui et al. \u201cUsing Community Struc- ture to Detect Relevant Learnt Clauses\u201d. In: Theory and Applications of Satisfiability Testing (SAT). 2015, pp. 238\u2013254.DOI: 10.1007/978-3- 319-24318-4 18",
  "reconstructed_doi": "10.1007/978-3-319-24318-418",
  "ref_index": 27,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}