Paper Citation Record · LEDGER

Revisiting DRUP-based Interpolants with CaDiCaL 2.0

As of 17 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2501.02608.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2501.02608 v2

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T22:11:33.815741Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

30 of 30 outbound references displayed

verified exact8
verified fuzzy6
unresolved12
parse uncertain0
malformed identifier1
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation bfe55a84-51ee-451f-b158-e3b7f22f8733 · outbound

This paper cites In: Boutilier, C.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Boutilier, C

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:11:34.818642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 874fca6d-9c48-4cf4-9a71-5d4886a2fab3 · outbound

This paper cites Towards Understanding and Harnessing the Potential of Clause Learning.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 Towards Understanding and Harnessing the Potential of Clause Learning

Reference 2

Resolution: metadata mismatch; local_arxiv, observed 2026-08-10T22:11:34.700575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0b83dc5c-6f61-4e00-8c61-1478aa92a15b · outbound

This paper cites an unresolved cited work.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.535973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 890138fd-56a9-4f1e-a31a-5e5620f11c40 · outbound

This paper cites In: Gurfinkel, A., Ganesh, V.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Gurfinkel, A., Ganesh, V

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:11:34.806107Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0f5120a9-de57-4b41-89f8-101605ca45b6 · outbound

This paper cites In: Jhala, R., Schmidt, D.A.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Jhala, R., Schmidt, D.A

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.568756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b76fe6f9-6e84-43ab-988d-8c1cba07342d · outbound

This paper cites In: Biere, A., Nahir, A., Vos, T.E.J.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Biere, A., Nahir, A., Vos, T.E.J

Reference 6

Resolution: verified exact; doi, observed 2026-08-10T22:11:34.099923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5eb9e34d-7f1a-4701-be7b-019d4c3d6340 · outbound

This paper cites an unresolved cited work.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 Unresolved cited work

Reference 7

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T22:11:34.674647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 04bb935e-e0ca-468b-86da-31ee0e15ba13 · outbound

This paper cites In: de Moura, L.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: de Moura, L

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.592107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb14c555-d79d-4cc8-988a-cb3c654e217f · outbound

This paper cites In: Barthe, G., Hermenegildo, M.V.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Barthe, G., Hermenegildo, M.V

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.598998Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e89429a-ef31-47f7-9352-41f836507a1c · outbound

This paper cites In: Bjesse, P., Slobodov´ a, A.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Bjesse, P., Slobodov´ a, A

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:11:34.792765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ec1d63a4-8f60-4612-814a-082c9526ff84 · outbound

This paper cites In: Giunchiglia, E., Tacchella, A.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Giunchiglia, E., Tacchella, A

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.612617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c17a0b4c-3aa6-4a01-86c9-f1566166e77c · outbound

This paper cites Unpacking Information Bottlenecks: Unifying Information-Theoretic Objectives in Deep Learning.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 Unpacking Information Bottlenecks: Unifying Information-Theoretic Objectives in Deep Learning

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.621413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45ccf646-caad-4e8a-b3ad-87b51f80182e · outbound

This paper cites In: Formal Methods in Computer- Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Formal Methods in Computer- Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014

Reference 13

Resolution: metadata mismatch; raw_fallback, observed 2026-08-10T22:11:34.579083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 68444493-57fe-4386-9b31-4c52469b367e · outbound

This paper cites In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013

Reference 14

Resolution: verified exact; raw_fallback, observed 2026-08-10T22:11:34.472130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation def6d43b-a9bb-49a9-90af-ad768f7e673f · outbound

This paper cites The DRAT format and DRAT-trim checker.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 The DRAT format and DRAT-trim checker

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.645758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6492fc2-fea9-4557-8075-ecb2031b2118 · outbound

This paper cites an unresolved cited work.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.667906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8775e132-fb0a-4650-b6a6-24b308ffb8cd · outbound

This paper cites In: Dillig, I., Tasiran, S.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Dillig, I., Tasiran, S

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:11:34.777427Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 99aaac29-f76b-4306-9ca9-080784fd824b · outbound

This paper cites In: Biere, A., Heule, M., van Maaren, H., Walsh, T.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Biere, A., Heule, M., van Maaren, H., Walsh, T

Reference 18

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T22:11:34.763937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation dc0e2aa7-08bb-4c42-bce2-f933e56756e4 · outbound

This paper cites In: Jr., W.A.H., Somenzi, F.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Jr., W.A.H., Somenzi, F

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.714590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53e14794-d96a-40e8-adce-7025f12b8f9a · outbound

This paper cites In: Proceedings of the 15th International Conference on Computer Aided Verification (CA V).

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Proceedings of the 15th International Conference on Computer Aided Verification (CA V)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:11:34.752640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 85051729-f79d-428b-9d05-1bb22c0b2d2f · outbound

This paper cites In: Garavel, H., Hatcliff, J.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Garavel, H., Hatcliff, J

Reference 21

Resolution: verified exact; doi, observed 2026-08-10T22:11:34.739399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 95858e76-8766-4dc3-8dca-5a410b698f9b · outbound

This paper cites The Journal of Symbolic Logic 62(3), 981–998 (1997), http://www.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 The Journal of Symbolic Logic 62(3), 981–998 (1997), http://www

Reference 22

Resolution: verified exact; raw_fallback, observed 2026-08-10T22:11:34.363905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ddb3f9d6-6818-4b20-b347-95fae466d077 · outbound

This paper cites In: Pro- ceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Pro- ceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.769163Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75d892f6-f0d2-46b1-86b7-30f1d1a95b72 · outbound

This paper cites In: Biere, A., Bloem, R.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Biere, A., Bloem, R

Reference 24

Resolution: verified exact; doi, observed 2026-08-10T22:11:33.929472Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 80ec8a3f-1d2d-4813-9f02-d8263bd31692 · outbound

This paper cites In: Kroening, D., Pasareanu, C.S.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Kroening, D., Pasareanu, C.S

Reference 25

Resolution: verified exact; doi, observed 2026-08-10T22:11:33.908682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9dec8e25-fa6c-4772-a5e0-039205db8ec5 · outbound

This paper cites In: Sharygina, N., Veith, H.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Sharygina, N., Veith, H

Reference 26

Resolution: verified exact; doi, observed 2026-08-10T22:11:33.887247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9bd71d70-c9eb-48c4-be59-2e43687a5f63 · outbound

This paper cites In: Sinz, C., Egly, U.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 In: Sinz, C., Egly, U

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:11:34.720326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 25d263f2-8216-4baf-8256-866857b58deb · outbound

This paper cites https://doi.org/10.1007/978-3-031-65627-9_7 , https: //doi.org/10.1007/978-3-031-65627-9_7.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 https://doi.org/10.1007/978-3-031-65627-9_7 , https: //doi.org/10.1007/978-3-031-65627-9_7

Reference 152

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.563768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f59d339f-781d-4899-b7a9-0f97c2f902a6 · outbound

This paper cites https://doi.org/10.1007/978-3-030-25543-5_21 , https: //doi.org/10.1007/978-3-030-25543-5_21.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 https://doi.org/10.1007/978-3-030-25543-5_21 , https: //doi.org/10.1007/978-3-030-25543-5_21

Reference 385

Resolution: verified exact; doi, observed 2026-08-10T22:11:34.028244Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b87ea359-21eb-43d0-bc00-fcdf27fcda9d · outbound

This paper cites https://doi.org/10.1007/978-3-319-09284-3_31 , https: //doi.org/10.1007/978-3-319-09284-3_31.

Revisiting DRUP-based Interpolants with CaDiCaL 2.0 https://doi.org/10.1007/978-3-319-09284-3_31 , https: //doi.org/10.1007/978-3-319-09284-3_31

Reference 429

Resolution: unresolved; no resolver link, observed 2026-08-10T22:11:33.815741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.