Paper Citation Record · LEDGER

EZSMT Version 3, Matured

As of 21 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2607.13344.

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

pith.paper-citation-record.v1
2607.13344 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T05:34:46.408231Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

14 of 14 outbound references displayed

verified exact2
verified fuzzy0
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 906e2b87-a9b6-497e-9863-450df0057fcd · outbound

This paper cites Leonardo De Moura and Nikolaj Bjørner.

EZSMT Version 3, Matured Leonardo De Moura and Nikolaj Bjørner

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:45.639907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dfa472e-d02d-49f6-815b-298b22a06287 · outbound

This paper cites Smt-based answer set solver cmodels-diff (system description).

EZSMT Version 3, Matured Smt-based answer set solver cmodels-diff (system description)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:45.727190Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c622dcc-d239-431d-ab01-54542aee2533 · outbound

This paper cites Enrico Giunchiglia, Yuliya Lierler, and Marco Maratea.

EZSMT Version 3, Matured Enrico Giunchiglia, Yuliya Lierler, and Marco Maratea

Reference 12

Resolution: verified exact; doi, observed 2026-08-02T05:38:20.408773Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 63907d4a-b4f0-4b32-b50c-dedc4980bf50 · outbound

This paper cites Clingo goes Linear Constraints over Reals and Integers.

EZSMT Version 3, Matured Clingo goes Linear Constraints over Reals and Integers

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:45.227914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cb9e541-7c09-4c44-bfdf-1a0b6b1cd004 · outbound

This paper cites Predicate Logic as a Modelling Language: The IDP System.

EZSMT Version 3, Matured Predicate Logic as a Modelling Language: The IDP System

Reference 2003

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:46.408231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fb614d8-a45a-4fa4-b795-cb4e5dc5a97b · outbound

This paper cites E´en and N.

EZSMT Version 3, Matured E´en and N

Reference 2006

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:46.242722Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 697e1aad-9ff2-4c28-8cc2-68a1e6cdd35d · outbound

This paper cites Christian Drescher and Toby Walsh.

EZSMT Version 3, Matured Christian Drescher and Toby Walsh

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:44.779293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0eb2a4fb-3d8e-49a5-8a1b-c09c040d2a4f · outbound

This paper cites 36 Michael Bartholomew and Joohyung Lee.

EZSMT Version 3, Matured 36 Michael Bartholomew and Joohyung Lee

Reference 2012

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:44.922872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25130379-852d-4ff3-b497-78fa0ab0d38d · outbound

This paper cites doi: 10.1007/978-3-319-11558-0.

EZSMT Version 3, Matured doi: 10.1007/978-3-319-11558-0

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:45.086209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa0f9f56-426e-4237-9660-af56bb89ec0f · outbound

This paper cites Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, and Torsten Schaub.

EZSMT Version 3, Matured Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, and Torsten Schaub

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:45.837711Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26901dd3-2658-40f3-8fc5-c6ca55ea94e8 · outbound

This paper cites SMT-Based Constraint Answer Set Solver EZSMT (System Descrip- tion).

EZSMT Version 3, Matured SMT-Based Constraint Answer Set Solver EZSMT (System Descrip- tion)

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:45.335882Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b3d7ba2-719a-4954-bedb-3c3eb9c55866 · outbound

This paper cites an unresolved cited work.

EZSMT Version 3, Matured Unresolved cited work

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:45.549416Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb029ebd-efab-42f4-9fca-ded4351f410b · outbound

This paper cites an unresolved cited work.

EZSMT Version 3, Matured Unresolved cited work

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-02T05:34:45.478708Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a47bffa-a407-4a31-a7fd-f4a99c150819 · outbound

This paper cites URL https://doi.org/10.1007/ s10472-023-09914-6.

EZSMT Version 3, Matured URL https://doi.org/10.1007/ s10472-023-09914-6

Reference 2024

Resolution: verified exact; doi, observed 2026-08-02T05:38:20.522560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.