Paper Citation Record · LEDGER

PyCSP3: Modeling Combinatorial Constrained Problems in Python

As of 19 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 4 inbound Pith citation observations for arXiv:2009.00326.

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

pith.paper-citation-record.v1
2009.00326 v6

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 4 of 4 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-12T10:45:36.459717Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

8
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 22d35c7c-59f5-46d1-9e1b-740a537b1cf9 · inbound

Proceedings of the 2024 XCSP3 Competition cites this paper.

Proceedings of the 2024 XCSP3 Competition PyCSP3: Modeling Combinatorial Constrained Problems in Python

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T10:45:36.459717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d903e1f7-b83e-4232-aa8c-552066e04071 · inbound

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs cites this paper.

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs PyCSP3: Modeling Combinatorial Constrained Problems in Python

Reference 37

Resolution: verified exact; arxiv_id, observed 2026-05-12T02:01:14.965851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 99258419-cbdd-4516-8e15-c4bdc0bd706d · inbound

Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers cites this paper.

Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers PyCSP3: Modeling Combinatorial Constrained Problems in Python

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-13T05:02:17.671925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4ac382f8-0c0f-42cd-ac05-0c557f76a7e2 · inbound

PyCSP3-Scheduling: A Scheduling Extension for PyCSP3 cites this paper.

PyCSP3-Scheduling: A Scheduling Extension for PyCSP3 PyCSP3: Modeling Combinatorial Constrained Problems in Python

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-05-15T01:38:27.347893Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.