{"as_of":"2026-08-06T05:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aa7819eb492fee2122a090a790c8897dbdfe4669b02d98cc7ee604eda90c9740","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T11:07:08.592724Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-05T06:32:48.257954+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.20022/citation-record","integrity":"/paper/2607.20022/integrity","json":"/paper/2607.20022/citation-record.json","paper":"/paper/2607.20022"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:05.941095Z","title":"In: Antoy, S., Albert, E","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:05.941095Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:9491969db4a50cd1f50530a325ea4e7c8d53315b7dfd0aa24846e31b882693f6","observation_id":"e56069bd-aba5-4808-b654-bf01f01194db","resolution":{"observed_at":"2026-08-01T11:07:05.941095Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:05.979064Z","title":"(ed.): Handbook of Theoretical Computer Science: Volume A: Algorithms and Complexity","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:05.979064Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:38597d533eacf7e842b3b097af46980663b416725f428218879416d6c393a073","observation_id":"8c3ae412-139e-42f6-bfef-b43721ee82c1","resolution":{"observed_at":"2026-08-01T11:07:05.979064Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.013181Z","title":"In: Lee, J.H.M","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.013181Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:cb5047e883fa7efaa8866997e46bfc4faaf813ccc194370cdf1120793978b3a6","observation_id":"20f49c8c-92c5-44e6-aed7-e0d9989cb024","resolution":{"observed_at":"2026-08-01T11:07:06.013181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-32275-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:08:32.451290Z","title":"In: Baader, F., Voronkov, A","venue":null,"work_id":"a8c6f659-765f-44d1-8783-52e3a0a97f99","year":2004},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.046971Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:d65970bd3fbf55f866f2d0734875450e7aca2060491240dc2c924e8dc7942e4a","observation_id":"b2ab2718-bf92-45b3-add6-9c49161f6f07","resolution":{"observed_at":"2026-08-01T11:08:32.614194Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.077994Z","title":"JACM53(6), 937–977 (2006)","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.077994Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:572488eb9e2bb02b66d64258b4fda7975848203dcbe972398e6472c86941b013","observation_id":"83b57bc1-fbd3-454a-be52-00e64ba77423","resolution":{"observed_at":"2026-08-01T11:07:06.077994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.113507Z","title":"In: Theory and Applications of Satisfiability Testing - SAT 2006","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.113507Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:84a249a47eb801febb6e041883d2f9447c73a1424819fa8f8db8699018bd819e","observation_id":"5d86d90d-01b6-4a5c-a7ad-d83894af4e7d","resolution":{"observed_at":"2026-08-01T11:07:06.113507Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.118247Z","title":"Constraints14(3), 357–391 (2009)","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.118247Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:7c78ebc3294e858cae27f71f5657c48aa21aa7a791882647a654d60ccb3b18c8","observation_id":"a7d373ff-7af1-467e-8bba-95a17d24a99b","resolution":{"observed_at":"2026-08-01T11:07:06.118247Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.193507Z","title":"In: Proceedings of the European Symposium on Algorithms, pp","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.193507Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:8e91e68a28251c578eac482083912db4e587a745867a6358682f6b29f703c8b3","observation_id":"28f1deb2-2ad6-4962-8d2a-4b94f1d235b9","resolution":{"observed_at":"2026-08-01T11:07:06.193507Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.253391Z","title":"JACM 28(4), 769–779 (1981)","venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.253391Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:9f412375bb15a77e8292c5a4f3d8e2319ced4eee691bdfc9678ee00a7c08bcf6","observation_id":"79a978d3-d117-4aff-8b4f-4000a89ebd7a","resolution":{"observed_at":"2026-08-01T11:07:06.253391Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/0004-3702(91)90006-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Artificial Intelli- gence49(1), 61–95 (1991) https://doi.org/10.1016/0004-3702(91)90006-6","venue":"Artificial Intelligence","work_id":"fe42000d-69ab-4aba-816c-078ea764ab6f","year":1991},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.362389Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:5e5bed8f67ab2ee4c8f4bbbaa45a563f74da2649ba6962788a8c9575b4fd67a8","observation_id":"ccdfa5cc-210b-48a1-b80d-bbb4c2f704b4","resolution":{"observed_at":"2026-08-01T11:08:32.322383Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.528268Z","title":"Algorithmica23, 261–275 (1999)","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.528268Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:2b8f2a5f6775be0899412d5ea9f9a5330962936ce792089dbfd515b7c28a3c49","observation_id":"ee575aed-e3e6-43a5-bae9-066e823e9e52","resolution":{"observed_at":"2026-08-01T11:07:06.528268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.639232Z","title":"In: Logic for Programming, Artificial Intelligence, and Reasoning","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.639232Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:be9ced55640f83f7cd4f43b3d4b2c9d96090f2109a8c64394c52c5fb1e1917af","observation_id":"b86c2084-ea92-4837-95dc-1f121e3a0d40","resolution":{"observed_at":"2026-08-01T11:07:06.639232Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.729425Z","title":"https://doi.org/10.5281/ zenodo.15591852","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.729425Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:23b7cbfeaed2e86016b611420ae682982cf966ad445b9025dcaa55f56ed3db37","observation_id":"b760a234-7325-4c70-bd6a-5e774e6013de","resolution":{"observed_at":"2026-08-01T11:07:06.729425Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.cp.2025.42","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Garcia de la Banda, M","venue":"Monash University Research Portal (Monash University)","work_id":"d1cfe046-5f5a-4b5d-8b42-55bd6f6ccafa","year":2025},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.817745Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:13239018caeff28873f5c468f1a936a2cb4d82b671589c38865dce92db506115","observation_id":"c50c7e41-7cf9-4a2a-bdb9-566421720824","resolution":{"observed_at":"2026-08-01T11:08:32.112966Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.905860Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.905860Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:3f6ae48b6b56edb12be18e97931771c72866ca1f7d66273e1c19fa682b42e29f","observation_id":"6d21e160-99fe-4842-abdb-98508f7da2a4","resolution":{"observed_at":"2026-08-01T11:07:06.905860Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:06.991353Z","title":"MIT press, Cambridge, MA, USA (2022)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:06.991353Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:11eae9f5ac3244d7d30f29a3a4f696dfbb1b8750608c89eceb9ac13337569316","observation_id":"00f618cd-e7c5-4c51-8726-d52c16fb3f19","resolution":{"observed_at":"2026-08-01T11:07:06.991353Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:07.070313Z","title":"In: Bessiere, C","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.070313Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:e3861493edc1fe806a200ea46d044512070964a091c2f30a7d2cb2887df20f23","observation_id":"2527f3c1-f734-4107-9320-dcd26633ea35","resolution":{"observed_at":"2026-08-01T11:07:07.070313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:07.158391Z","title":"Proceedings of the AAAI Conference on Artificial Intelligence38(8), 8004–8012 (2024) https://doi.org/10.1609/aaai","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.158391Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:38842e667f918163f32d17383e3270955dec3a739ff990835fe6244d094d9998","observation_id":"6e62634e-804c-4c5f-b731-ada1416ed435","resolution":{"observed_at":"2026-08-01T11:07:07.158391Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:07.247578Z","title":"https://github.com/chuffed/chuffed","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.247578Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:8a0eb686af75e2a0c949dfc7f504ef420bdb2b1cacccf5510a0f497534fb0f8f","observation_id":"8802015d-e23d-49b4-90c1-0c2dd652cfff","resolution":{"observed_at":"2026-08-01T11:07:07.247578Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:07.277964Z","title":"v9.15 (2026)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.277964Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:360c4213a6555bdead3a13c6f9f80f1228d1680332935aaa329b08c39e941d66","observation_id":"2a864d62-9fd3-4b8d-8da0-1dbcd0a4ab58","resolution":{"observed_at":"2026-08-01T11:07:07.277964Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:07.431411Z","title":"AI magazine35(2), 55–60 (2014)","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.431411Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:c667bc9869b23428ed939bf5ffa146e7c601a72f073e1f84627cdc6064ada5ad","observation_id":"14fc2401-b466-4fbe-bcbe-15b5907b6986","resolution":{"observed_at":"2026-08-01T11:07:07.431411Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.21037348","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:08:31.722133Z","title":"https: //doi.org/10.5281/zenodo.21037348","venue":null,"work_id":"9d2d1ca7-bfd7-483f-b04f-717ea5146839","year":2026},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.541559Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:a4cc9ff47a689301ecf7d0c30398c3e7809bd1cda0253f9aa604cb37e163754a","observation_id":"606d940e-efc8-4236-b9ec-61019a1959ae","resolution":{"observed_at":"2026-08-01T11:08:31.859670Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:07.652100Z","title":"Constraints15(3), 307–316 (2010) https://doi.org/10.1007/s10601-010-9093-0","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.652100Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:4ae32e6443c026976a30736cc0856f8c1a242c68bbbcc6d026bedf4eda060733","observation_id":"5a93be89-597f-4d10-8017-14df34bec418","resolution":{"observed_at":"2026-08-01T11:07:07.652100Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:07.705298Z","title":"In: Rue- her, M","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.705298Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:809d9c848c16498055699fb0037abafda9e8e9f9186392806317e9ab29ac1296","observation_id":"a63e4094-b8a6-486c-a74d-0225d89b3df3","resolution":{"observed_at":"2026-08-01T11:07:07.705298Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:07.813587Z","title":"Journal of scheduling16(3), 273–289 (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.813587Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:3aee58b8167841d165937327ce4de3f0b5170d11b281751905dad6198a141178","observation_id":"f482ebce-cb2a-43e9-b9ef-314b94533a2d","resolution":{"observed_at":"2026-08-01T11:07:07.813587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:07.868506Z","title":"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","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.868506Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:7a5b5c726e19555fa018c40fb7a40dd03da43740233514e245a4acd3e732a1ca","observation_id":"1efe51a9-d855-4760-9018-3d50c7dd27b6","resolution":{"observed_at":"2026-08-01T11:07:07.868506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-04244-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Gent, I.P","venue":"Lecture notes in computer science","work_id":"a6c52580-fa84-4069-ac1c-3d7a34044e75","year":2009},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:07.979682Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:a374c6293c63481324d6fb32cf104194db5132007ec86bb3f67e90926dec722c","observation_id":"054d4672-6605-4698-9079-5165ec593130","resolution":{"observed_at":"2026-08-01T11:08:31.528640Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:08.093310Z","title":"PhD thesis, the University of Melbourne (2011)","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:08.093310Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:b5dcf8972b202056df250e907da7005ca602bf5bb44d5bd2ce85ff2b8cbfbf07","observation_id":"965430c9-7dca-4980-9911-325ac2dcf7bd","resolution":{"observed_at":"2026-08-01T11:07:08.093310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:08.151898Z","title":"In: Banda, M.G","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:08.151898Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:88cb49c1c69bedc4f7a73cb1e8c9ceb9b5b514fa5f4b3af8694ed81ba49464ae","observation_id":"809a289e-c88c-4ca6-a8b6-bb352678eafb","resolution":{"observed_at":"2026-08-01T11:07:08.151898Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/f","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:08:31.076272Z","title":"In: Gal, K., Now´ e, A., Nalepa, G.J., Fairstein, R., R˘ adulescu, R","venue":null,"work_id":"88c48efc-5576-46f5-b1b2-a44268095d48","year":2023},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:08.259605Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:d4a26be81a8a9b9a6dd0824e2994f204e609399b0c83d3556ce384d2c9dec782","observation_id":"987acdfc-89bc-40ae-906e-47a5a5120bcc","resolution":{"observed_at":"2026-08-01T11:08:31.213670Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:08.373151Z","title":"In: Proceedings of the 3rd International Workshop on Temporal Representation and Reasoning (TIME 1996), pp","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:08.373151Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:4098a183101510ff40be37597342796a8de8016fdd2089ef1f81872ab07541f0","observation_id":"330392ea-40d1-4e44-9be7-905f0ce6fc00","resolution":{"observed_at":"2026-08-01T11:07:08.373151Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:08.482407Z","title":"Constraints23(2), 210–250 (2018) https://doi.org/10.1007/ s10601-018-9281-x","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:08.482407Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:939d0d242795e973780afde2b256e1e9054897610ce25bcee939d2699c832982","observation_id":"8c5321bf-d1bd-4421-b53e-a84ed9274802","resolution":{"observed_at":"2026-08-01T11:07:08.482407Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T11:07:08.592724Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T11:07:08.592724Z"},"links":{"citing_paper":"/paper/2607.20022"},"observation_digest":"sha256:b427b7fc55841cebf4ec1f3f598164619b8acd856c83f0163845cfb6df256b30","observation_id":"10daa30e-958b-42e5-9d74-34eb323afd4e","resolution":{"observed_at":"2026-08-01T11:07:08.592724Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.20022","last_updated":"2026-07-22T11:02:56Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-06T00:54:14.771936Z","submitted_at":"2026-07-22T11:02:56Z","title":"Global Difference Constraint Propagation for Constraint Programming"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":4,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":24,"verified_exact":5,"verified_fuzzy":0},"total_outbound_references":33},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-05T06:32:48.257954+00:00","source":"crossref"},{"observed_at":"2026-08-05T06:32:44.755628+00:00","source":"retraction_watch"}],"thesis":"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."}