Recoverable Identifier

arXiv:2605.09347 · detector doi_compliance · incontrovertible · 2026-05-19 10:20:10.751391+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/iccad.2003.1257732doi:10.1109/ICCAD.2003.1257732) 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

Cong Liu, Andreas Kuehlmann, and Matthew W. Moskewicz. CAMA: A multi-valued satisfiability solver. In 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003 , pages 326--333. IEEE Computer Society / ACM , 2003. https://doi.org/10.1109/ICCAD.2003.1257732 doi:10.1109/ICCAD.2003.1257732

Evidence payload

{
  "printed_excerpt": "Cong Liu, Andreas Kuehlmann, and Matthew W. Moskewicz. CAMA: A multi-valued satisfiability solver. In 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003 , pages 326--333. IEEE Computer",
  "reconstructed_doi": "10.1109/iccad.2003.1257732doi:10.1109/ICCAD.2003.1257732",
  "ref_index": 36,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}