Paper Citation Record · LEDGER

Optimized Execution of FreeCHR

As of 8 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2506.14485.

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

pith.paper-citation-record.v1
2506.14485 v3

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T00:26:04.888469Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

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

27 of 27 outbound references displayed

verified exact18
verified fuzzy3
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b71c4f9d-5a2b-4763-a70c-e2dcaedb0362 · outbound

This paper cites Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains.

Optimized Execution of FreeCHR Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T00:26:07.390272Z

Source-reported events for the cited work

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

Observation dddd0150-045f-4d09-b618-08141990eb61 · outbound

This paper cites an unresolved cited work.

Optimized Execution of FreeCHR Unresolved cited work

Reference 2

Resolution: verified exact; raw_fallback, observed 2026-08-07T00:26:08.270174Z

Source-reported events for the cited work

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

Observation e40edd52-54f9-4cb3-aa30-1224b34339be · outbound

This paper cites University course timetabling using constraint handling rules.AAI, 14(4):311–325, April 2000.doi:10.1080/088395100117016.

Optimized Execution of FreeCHR University course timetabling using constraint handling rules.AAI, 14(4):311–325, April 2000.doi:10.1080/088395100117016

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T00:26:07.247521Z

Source-reported events for the cited work

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

Observation 3fc0716c-466f-4edb-b1f6-7af40c7fe4d6 · outbound

This paper cites Reasoning about Actions with CHRs and Finite Domain Constraints.

Optimized Execution of FreeCHR Reasoning about Actions with CHRs and Finite Domain Constraints

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T00:26:07.117136Z

Source-reported events for the cited work

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

Observation e2c09ee5-4adc-451d-b2f0-e7befedf7c99 · outbound

This paper cites FLUX: A logic programming method for reasoning agents.TPLP, 5(4-5):533–565, July 2005.doi:10.1017/S1471068405002358.

Optimized Execution of FreeCHR FLUX: A logic programming method for reasoning agents.TPLP, 5(4-5):533–565, July 2005.doi:10.1017/S1471068405002358

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T00:26:06.970366Z

Source-reported events for the cited work

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

Observation dca5ba76-4190-47b9-93cb-8035ca6f8704 · outbound

This paper cites an unresolved cited work.

Optimized Execution of FreeCHR Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T00:26:02.983219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6e5c108-5329-427a-b0a9-44ff52a92f3c · outbound

This paper cites As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007.TPLP, 10(1):1–47, January 2010.doi:10.1017/S1471068409990123.

Optimized Execution of FreeCHR As time goes by: Constraint Handling Rules: A survey of CHR research from 1998 to 2007.TPLP, 10(1):1–47, January 2010.doi:10.1017/S1471068409990123

Reference 7

Resolution: verified exact; doi, observed 2026-08-07T00:26:06.870794Z

Source-reported events for the cited work

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

Observation 23b99f72-1cc0-4b19-8a56-ea27a35c04ea · outbound

This paper cites an unresolved cited work.

Optimized Execution of FreeCHR Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-07T00:26:06.765134Z

Source-reported events for the cited work

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

Observation 1c28a8da-594c-4c85-994a-b55ca5a6d423 · outbound

This paper cites Principles of Rule-Based Programming.

Optimized Execution of FreeCHR Principles of Rule-Based Programming

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:26:09.652639Z

Source-reported events for the cited work

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

Observation 41ce1025-cd1c-44a7-8b45-4c999ff000e6 · outbound

This paper cites On confluence of Constraint Handling Rules.

Optimized Execution of FreeCHR On confluence of Constraint Handling Rules

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T00:26:06.637250Z

Source-reported events for the cited work

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

Observation 7ded1d91-2244-403c-9637-86bfb91afb9d · outbound

This paper cites an unresolved cited work.

Optimized Execution of FreeCHR Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-07T00:26:06.476038Z

Source-reported events for the cited work

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

Observation b44bd9b2-df1b-4da0-80d5-01d0f35afe91 · outbound

This paper cites A Decidable Confluence Test for Cognitive Models in ACT-R.

Optimized Execution of FreeCHR A Decidable Confluence Test for Cognitive Models in ACT-R

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T00:26:06.298243Z

Source-reported events for the cited work

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

Observation b1edf54c-05de-457e-8fde-aa69d5450dea · outbound

This paper cites an unresolved cited work.

Optimized Execution of FreeCHR Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-07T00:26:09.375038Z

Source-reported events for the cited work

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

Observation fdb3c15a-9a4b-47a5-b876-2c5d86885e83 · outbound

This paper cites CCHR: The fastest CHR Implementation, in C.

Optimized Execution of FreeCHR CCHR: The fastest CHR Implementation, in C

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:26:09.076766Z

Source-reported events for the cited work

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

Observation 446a3dbb-3d0d-4407-9ddf-361e224761a7 · outbound

This paper cites CHR++: An efficient CHR system in C++ with don’t know non-determinism.

Optimized Execution of FreeCHR CHR++: An efficient CHR system in C++ with don’t know non-determinism

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T00:26:03.911350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38c56d4e-af53-4660-8525-89096eed27c2 · outbound

This paper cites an unresolved cited work.

Optimized Execution of FreeCHR Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T00:26:08.861665Z

Source-reported events for the cited work

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

Observation fdfecc3c-5111-4e9a-ac54-7084028d72f3 · outbound

This paper cites CHR.js: A CHR Implementation in JavaScript.

Optimized Execution of FreeCHR CHR.js: A CHR Implementation in JavaScript

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T00:26:06.160000Z

Source-reported events for the cited work

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

Observation 1ae1e0a3-d80c-4caa-aabd-fc960a9d8e11 · outbound

This paper cites JACK: A Java Constraint Kit.

Optimized Execution of FreeCHR JACK: A Java Constraint Kit

Reference 18

Resolution: verified exact; doi, observed 2026-08-07T00:26:05.985254Z

Source-reported events for the cited work

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

Observation b26c5b64-a87e-49cc-bfc6-3609576402f3 · outbound

This paper cites K.U.Leuven JCHR: A user-friendly, flexible and efficient CHR system for Java.

Optimized Execution of FreeCHR K.U.Leuven JCHR: A user-friendly, flexible and efficient CHR system for Java

Reference 19

Resolution: verified exact; raw_fallback, observed 2026-08-07T00:26:07.854171Z

Source-reported events for the cited work

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

Observation f20955fc-6535-4c83-9b69-5b5154c69ddc · outbound

This paper cites Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java.

Optimized Execution of FreeCHR Implementing Constraint Handling Rules as a Domain-Specific Language Embedded in Java

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-07T00:26:05.805249Z

Source-reported events for the cited work

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

Observation 3ceaf78b-14f0-4e55-a5d2-6c01218b7b07 · outbound

This paper cites JavaCHR – A Modern CHR-Embedding in Java.

Optimized Execution of FreeCHR JavaCHR – A Modern CHR-Embedding in Java

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T00:26:08.568203Z

Source-reported events for the cited work

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

Observation 2724d72f-78d5-4031-b6f1-9eb371360714 · outbound

This paper cites an unresolved cited work.

Optimized Execution of FreeCHR Unresolved cited work

Reference 22

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T00:26:07.643127Z

Source-reported events for the cited work

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

Observation 7b727f64-e1ee-4569-b35f-66bf410e01db · outbound

This paper cites Initial Algebra Semantics Is Enough! In Simona Ronchi Della Rocca, editor,TLCA 2007, Lecture Notes in Computer Science, pages 207–222, Berlin, Heidelberg, 2007.

Optimized Execution of FreeCHR Initial Algebra Semantics Is Enough! In Simona Ronchi Della Rocca, editor,TLCA 2007, Lecture Notes in Computer Science, pages 207–222, Berlin, Heidelberg, 2007

Reference 23

Resolution: verified exact; doi, observed 2026-08-07T00:26:05.630376Z

Source-reported events for the cited work

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

Observation db751af1-729b-4fd6-9c9e-d86504dab2b4 · outbound

This paper cites FreeCHR – an algebraic framework for Constraint Handling Rules embeddings.Theory and Practice of Logic Programming, 25(3):340–373, May 2025.doi:10.1017/S1471068425000043.

Optimized Execution of FreeCHR FreeCHR – an algebraic framework for Constraint Handling Rules embeddings.Theory and Practice of Logic Programming, 25(3):340–373, May 2025.doi:10.1017/S1471068425000043

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T00:26:05.459038Z

Source-reported events for the cited work

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

Observation f003dde4-5ee3-477f-87f5-ece5be7fff81 · outbound

This paper cites An instance of FreeCHR with refined operational semantics.

Optimized Execution of FreeCHR An instance of FreeCHR with refined operational semantics

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-07T00:26:05.310975Z

Source-reported events for the cited work

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

Observation e6680f6b-eefa-4ab5-b0f6-7f8819b39dc9 · outbound

This paper cites Efficient Lazy Evaluation of Rule-Based Programs.IEEE Trans.

Optimized Execution of FreeCHR Efficient Lazy Evaluation of Rule-Based Programs.IEEE Trans

Reference 26

Resolution: verified exact; doi, observed 2026-08-07T00:26:05.163077Z

Source-reported events for the cited work

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

Observation 40a5e70d-0d77-4239-acf6-40e8d8adbc9d · outbound

This paper cites zero", [], [lambda x: x == 0], lambda _: True, lambda _: []), 4 rule(.

Optimized Execution of FreeCHR zero", [], [lambda x: x == 0], lambda _: True, lambda _: []), 4 rule(

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T00:26:04.888469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.