Recoverable Identifier

arXiv:2604.26709 · detector doi_compliance · incontrovertible · 2026-05-19 19:55:32.703433+00:00

advisory doi_compliance recoverable_identifier

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

Nieuwenhuis, R., Oliveras, A.: DPLL(T) with exhaustive theory propagation and its application to diﬀerence logic. In: Etessami, K., Rajam ani, S.K. (eds.) Com- puter Aided Veriﬁcation, 17th International Conference, C A V 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Lecture Notes i n Computer Science, vol. 3576, pp. 321–334. Springer (2005). https://doi.org/ 10.1007/11513988\_33, https://doi.org/10.1007/11513988_33

Evidence payload

{
  "printed_excerpt": "Nieuwenhuis, R., Oliveras, A.: DPLL(T) with exhaustive theory propagation and its application to di\ufb00erence logic. In: Etessami, K., Rajam ani, S.K. (eds.) Com- puter Aided Veri\ufb01cation, 17th International Conference, C A V 2005, Edinburgh, S",
  "reconstructed_doi": "10.1007/11513988\\_33",
  "ref_index": 32,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}