Paper Citation Record · LEDGER

Global Difference Constraint Propagation for Constraint Programming

As of 6 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2607.20022.

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

pith.paper-citation-record.v1
2607.20022 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T11:07:08.592724Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+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

33 of 33 outbound references displayed

verified exact5
verified fuzzy0
unresolved24
parse uncertain0
malformed identifier4
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e56069bd-aba5-4808-b654-bf01f01194db · outbound

This paper cites In: Antoy, S., Albert, E.

Global Difference Constraint Propagation for Constraint Programming In: Antoy, S., Albert, E

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:05.941095Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c3ae412-139e-42f6-bfef-b43721ee82c1 · outbound

This paper cites (ed.): Handbook of Theoretical Computer Science: Volume A: Algorithms and Complexity.

Global Difference Constraint Propagation for Constraint Programming (ed.): Handbook of Theoretical Computer Science: Volume A: Algorithms and Complexity

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:05.979064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20f49c8c-92c5-44e6-aed7-e0d9989cb024 · outbound

This paper cites In: Lee, J.H.M.

Global Difference Constraint Propagation for Constraint Programming In: Lee, J.H.M

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.013181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2ab2718-bf92-45b3-add6-9c49161f6f07 · outbound

This paper cites In: Baader, F., Voronkov, A.

Global Difference Constraint Propagation for Constraint Programming In: Baader, F., Voronkov, A

Reference 4

Resolution: verified exact; doi, observed 2026-08-01T11:08:32.614194Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 83b57bc1-fbd3-454a-be52-00e64ba77423 · outbound

This paper cites JACM53(6), 937–977 (2006).

Global Difference Constraint Propagation for Constraint Programming JACM53(6), 937–977 (2006)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.077994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d86d90d-01b6-4a5c-a7ad-d83894af4e7d · outbound

This paper cites In: Theory and Applications of Satisfiability Testing - SAT 2006.

Global Difference Constraint Propagation for Constraint Programming In: Theory and Applications of Satisfiability Testing - SAT 2006

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.113507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7d373ff-7af1-467e-8bba-95a17d24a99b · outbound

This paper cites Constraints14(3), 357–391 (2009).

Global Difference Constraint Propagation for Constraint Programming Constraints14(3), 357–391 (2009)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.118247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28f1deb2-2ad6-4962-8d2a-4b94f1d235b9 · outbound

This paper cites In: Proceedings of the European Symposium on Algorithms, pp.

Global Difference Constraint Propagation for Constraint Programming In: Proceedings of the European Symposium on Algorithms, pp

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.193507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79a978d3-d117-4aff-8b4f-4000a89ebd7a · outbound

This paper cites JACM 28(4), 769–779 (1981).

Global Difference Constraint Propagation for Constraint Programming JACM 28(4), 769–779 (1981)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.253391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccdfa5cc-210b-48a1-b80d-bbb4c2f704b4 · outbound

This paper cites Artificial Intelli- gence49(1), 61–95 (1991) https://doi.org/10.1016/0004-3702(91)90006-6.

Global Difference Constraint Propagation for Constraint Programming Artificial Intelli- gence49(1), 61–95 (1991) https://doi.org/10.1016/0004-3702(91)90006-6

Reference 10

Resolution: verified exact; doi, observed 2026-08-01T11:08:32.322383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation ee575aed-e3e6-43a5-bae9-066e823e9e52 · outbound

This paper cites Algorithmica23, 261–275 (1999).

Global Difference Constraint Propagation for Constraint Programming Algorithmica23, 261–275 (1999)

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.528268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b86c2084-ea92-4837-95dc-1f121e3a0d40 · outbound

This paper cites In: Logic for Programming, Artificial Intelligence, and Reasoning.

Global Difference Constraint Propagation for Constraint Programming In: Logic for Programming, Artificial Intelligence, and Reasoning

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.639232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b760a234-7325-4c70-bd6a-5e774e6013de · outbound

This paper cites https://doi.org/10.5281/ zenodo.15591852.

Global Difference Constraint Propagation for Constraint Programming https://doi.org/10.5281/ zenodo.15591852

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-08-01T11:07:06.729425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c50c7e41-7cf9-4a2a-bdb9-566421720824 · outbound

This paper cites In: Garcia de la Banda, M.

Global Difference Constraint Propagation for Constraint Programming In: Garcia de la Banda, M

Reference 14

Resolution: verified exact; doi, observed 2026-08-01T11:08:32.112966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 6d21e160-99fe-4842-abdb-98508f7da2a4 · outbound

This paper cites an unresolved cited work.

Global Difference Constraint Propagation for Constraint Programming Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.905860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00f618cd-e7c5-4c51-8726-d52c16fb3f19 · outbound

This paper cites MIT press, Cambridge, MA, USA (2022).

Global Difference Constraint Propagation for Constraint Programming MIT press, Cambridge, MA, USA (2022)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:06.991353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2527f3c1-f734-4107-9320-dcd26633ea35 · outbound

This paper cites In: Bessiere, C.

Global Difference Constraint Propagation for Constraint Programming In: Bessiere, C

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:07.070313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e62634e-804c-4c5f-b731-ada1416ed435 · outbound

This paper cites Proceedings of the AAAI Conference on Artificial Intelligence38(8), 8004–8012 (2024) https://doi.org/10.1609/aaai.

Global Difference Constraint Propagation for Constraint Programming Proceedings of the AAAI Conference on Artificial Intelligence38(8), 8004–8012 (2024) https://doi.org/10.1609/aaai

Reference 18

Resolution: malformed identifier; no resolver link, observed 2026-08-01T11:07:07.158391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8802015d-e23d-49b4-90c1-0c2dd652cfff · outbound

This paper cites https://github.com/chuffed/chuffed.

Global Difference Constraint Propagation for Constraint Programming https://github.com/chuffed/chuffed

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:07.247578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a864d62-9fd3-4b8d-8da0-1dbcd0a4ab58 · outbound

This paper cites v9.15 (2026).

Global Difference Constraint Propagation for Constraint Programming v9.15 (2026)

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:07.277964Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14fc2401-b466-4fbe-bcbe-15b5907b6986 · outbound

This paper cites AI magazine35(2), 55–60 (2014).

Global Difference Constraint Propagation for Constraint Programming AI magazine35(2), 55–60 (2014)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:07.431411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 606d940e-efc8-4236-b9ec-61019a1959ae · outbound

This paper cites https: //doi.org/10.5281/zenodo.21037348.

Global Difference Constraint Propagation for Constraint Programming https: //doi.org/10.5281/zenodo.21037348

Reference 22

Resolution: verified exact; doi, observed 2026-08-01T11:08:31.859670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 5a93be89-597f-4d10-8017-14df34bec418 · outbound

This paper cites Constraints15(3), 307–316 (2010) https://doi.org/10.1007/s10601-010-9093-0.

Global Difference Constraint Propagation for Constraint Programming Constraints15(3), 307–316 (2010) https://doi.org/10.1007/s10601-010-9093-0

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:07.652100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a63e4094-b8a6-486c-a74d-0225d89b3df3 · outbound

This paper cites In: Rue- her, M.

Global Difference Constraint Propagation for Constraint Programming In: Rue- her, M

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:07.705298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f482ebce-cb2a-43e9-b9ef-314b94533a2d · outbound

This paper cites Journal of scheduling16(3), 273–289 (2013).

Global Difference Constraint Propagation for Constraint Programming Journal of scheduling16(3), 273–289 (2013)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:07.813587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1efe51a9-d855-4760-9018-3d50c7dd27b6 · outbound

This paper cites Stuckey, Banda, M.G., Maher, M., Marriott, K., Slaney, J., Somogyi, Z., Wallace, M., Walsh, T.: The G12 project: Mapping solver independent models to efficient solutions.

Global Difference Constraint Propagation for Constraint Programming Stuckey, Banda, M.G., Maher, M., Marriott, K., Slaney, J., Somogyi, Z., Wallace, M., Walsh, T.: The G12 project: Mapping solver independent models to efficient solutions

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:07.868506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 054d4672-6605-4698-9079-5165ec593130 · outbound

This paper cites In: Gent, I.P.

Global Difference Constraint Propagation for Constraint Programming In: Gent, I.P

Reference 27

Resolution: verified exact; doi, observed 2026-08-01T11:08:31.528640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 965430c9-7dca-4980-9911-325ac2dcf7bd · outbound

This paper cites PhD thesis, the University of Melbourne (2011).

Global Difference Constraint Propagation for Constraint Programming PhD thesis, the University of Melbourne (2011)

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:08.093310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 809a289e-c88c-4ca6-a8b6-bb352678eafb · outbound

This paper cites In: Banda, M.G.

Global Difference Constraint Propagation for Constraint Programming In: Banda, M.G

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:08.151898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 987acdfc-89bc-40ae-906e-47a5a5120bcc · outbound

This paper cites In: Gal, K., Now´ e, A., Nalepa, G.J., Fairstein, R., R˘ adulescu, R.

Global Difference Constraint Propagation for Constraint Programming In: Gal, K., Now´ e, A., Nalepa, G.J., Fairstein, R., R˘ adulescu, R

Reference 30

Resolution: malformed identifier; doi_truncated, observed 2026-08-01T11:08:31.213670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 330392ea-40d1-4e44-9be7-905f0ce6fc00 · outbound

This paper cites In: Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning (TIME 1996), pp.

Global Difference Constraint Propagation for Constraint Programming In: Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning (TIME 1996), pp

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:08.373151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c5321bf-d1bd-4421-b53e-a84ed9274802 · outbound

This paper cites Constraints23(2), 210–250 (2018) https://doi.org/10.1007/ s10601-018-9281-x.

Global Difference Constraint Propagation for Constraint Programming Constraints23(2), 210–250 (2018) https://doi.org/10.1007/ s10601-018-9281-x

Reference 32

Resolution: malformed identifier; no resolver link, observed 2026-08-01T11:07:08.482407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10daa30e-958b-42e5-9d74-34eb323afd4e · outbound

This paper cites an unresolved cited work.

Global Difference Constraint Propagation for Constraint Programming Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T11:07:08.592724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.