Paper Citation Record · LEDGER

Proceedings of the 2024 XCSP3 Competition

As of 19 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 1 inbound Pith citation observation for arXiv:2412.00117.

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

pith.paper-citation-record.v1
2412.00117 v1

Coverage vector

measured 21 of 21 reference resolution

Typed states for the displayed outbound observations.

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

measured 22 of 22 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T16:12:30.761865Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-15T16:12:31.139482Z

Reference resolution

21 of 21 outbound references displayed

verified exact1
verified fuzzy12
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ba48fc38-1c77-404d-ad8f-80dcda5858d7 · outbound

This paper cites Proceedings of the 2022 XCSP3 Competition.

Proceedings of the 2024 XCSP3 Competition Proceedings of the 2022 XCSP3 Competition

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-08-12T10:45:36.552022Z

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 7c38c7bb-651c-4c04-a36a-9dfff3144798 · outbound

This paper cites Proceedings of the 2023 XCSP3 Competition.

Proceedings of the 2024 XCSP3 Competition Proceedings of the 2023 XCSP3 Competition

Reference 2

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00049cb8-2915-410a-bc13-85a1328c720a · outbound

This paper cites Belov, N.

Proceedings of the 2024 XCSP3 Competition Belov, N

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.698712Z

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 3a05f1cf-a617-4ae8-ae82-e338ab948863 · outbound

This paper cites Berlekamp, J.

Proceedings of the 2024 XCSP3 Competition Berlekamp, J

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.689918Z

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 8ef1b8fc-f0a6-48e8-b16f-c4355151bfb7 · outbound

This paper cites XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.

Proceedings of the 2024 XCSP3 Competition XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

Reference 5

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cb820f5-c98e-43f4-aa81-901f64a8a051 · outbound

This paper cites XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems.

Proceedings of the 2024 XCSP3 Competition XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fcd8a88-040f-4878-b41b-52f878c8ca7d · outbound

This paper cites an unresolved cited work.

Proceedings of the 2024 XCSP3 Competition Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-12T10:45:36.680875Z

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 fa9c4c22-bc3b-4da0-a169-73263f17bf1e · outbound

This paper cites Duque, J.-F.

Proceedings of the 2024 XCSP3 Competition Duque, J.-F

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.671012Z

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 a9c18244-4fa5-4e41-b732-61e19f7b5798 · outbound

This paper cites Easton, G.

Proceedings of the 2024 XCSP3 Competition Easton, G

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.662302Z

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 df4f90d2-5f42-4326-b4ee-d6952e473683 · outbound

This paper cites Erascu, F.

Proceedings of the 2024 XCSP3 Competition Erascu, F

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.652497Z

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 1ab8be3a-a20b-4d62-9814-e1b55e24db05 · outbound

This paper cites an unresolved cited work.

Proceedings of the 2024 XCSP3 Competition Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-12T10:45:36.641912Z

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 68503de7-7c2a-446e-a1e3-989f1d4975a7 · outbound

This paper cites Jefferson, A.

Proceedings of the 2024 XCSP3 Competition Jefferson, A

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.631814Z

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 224436a6-f1f1-4cf5-bf88-951e914a1946 · outbound

This paper cites Lam and P.

Proceedings of the 2024 XCSP3 Competition Lam and P

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.621619Z

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 22d35c7c-59f5-46d1-9e1b-740a537b1cf9 · outbound

This paper cites PyCSP3: Modeling Combinatorial Constrained Problems in Python.

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 00817ff5-3bf8-4738-8ec5-a60cebf3cbf6 · outbound

This paper cites Marriott and P.

Proceedings of the 2024 XCSP3 Competition Marriott and P

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.612267Z

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 69e6cc53-b23f-4bc5-992e-19968936e244 · outbound

This paper cites Musliu, A.

Proceedings of the 2024 XCSP3 Competition Musliu, A

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.602729Z

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 94a760e3-94eb-4c33-b8fe-140aacc1a11c · outbound

This paper cites Roussel, T.

Proceedings of the 2024 XCSP3 Competition Roussel, T

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.592950Z

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 79d9838a-0351-423b-afd8-715e0f8603c7 · outbound

This paper cites Savelsbergh and O.

Proceedings of the 2024 XCSP3 Competition Savelsbergh and O

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.582789Z

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 1aeb7001-7ff3-4466-babe-4f8d8f349f73 · outbound

This paper cites an unresolved cited work.

Proceedings of the 2024 XCSP3 Competition Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-12T10:45:36.572567Z

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 36a7f793-b634-45ab-94ca-5ceda458aaa0 · outbound

This paper cites The Picat-SAT compiler.

Proceedings of the 2024 XCSP3 Competition The Picat-SAT compiler

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T10:45:36.562213Z

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 ab74c03d-1acf-45e2-be7b-914c8092d59d · outbound

This paper cites ACE, a generic constraint solver.

Proceedings of the 2024 XCSP3 Competition ACE, a generic constraint solver

Reference 2023

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation b138a293-16d6-4178-8cbb-4f81957acf31 · inbound

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models cites this paper.

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models Proceedings of the 2024 XCSP3 Competition

Reference 2024

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T16:12:31.144805Z

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.