Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T11:49:48.733761Z
Paper Citation Record · LEDGER
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
As of 8 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 0 inbound Pith citation observations for arXiv:2506.06495.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
9 of 9 outbound references displayed
- verified exact0
- verified fuzzy3
- unresolved6
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 775cc2bb-c7a0-44af-bb6d-b87ec836a0d1 · outbound
This paper cites Retrieved Jan.
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:49:49.145439Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d09c43a8-7778-456b-ae23-e0078561ba5b · outbound
This paper cites Better Together: Unifying Datalog and Equality Saturation.
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling Better Together: Unifying Datalog and Equality Saturation
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:49:48.733761Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cbd59fc7-fdf1-4319-8d9e-0f406094e70d · outbound
This paper cites Higher-order abstract syntax.
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling Higher-order abstract syntax
Reference 1988
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:49:48.626039Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf33666f-5f97-4cb3-8613-d6f862bbd6d4 · outbound
This paper cites The Locally Nameless Representation.
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling The Locally Nameless Representation
Reference 2012
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:49:48.158952Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f4ad1fd0-cab3-48ee-bb94-16d8fc4562e1 · outbound
This paper cites Stephen Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, and Felipe Serrano.
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling Stephen Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, and Felipe Serrano
Reference 2014
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:49:48.367042Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6a73046b-14be-48a9-bcb8-dd808b9593e6 · outbound
This paper cites PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite.
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite
Reference 2016
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:49:48.439234Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5c7e6de4-f104-4241-8c79-623a7241a546 · outbound
This paper cites egg: Fast and Extensible Equality Saturation.
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling egg: Fast and Extensible Equality Saturation
Reference 2021
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T11:49:48.674280Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 79aad5c0-b03c-4b7a-a892-69a852e0759e · outbound
This paper cites 25, 2025 from https://jij-inc.github.i o/JijModeling-Tutorials/en/introduction.html.
Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling 25, 2025 from https://jij-inc.github.i o/JijModeling-Tutorials/en/introduction.html
Reference 2023
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:49:49.286420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4576c9bd-c8e8-44f5-9142-4cf1c59baa30 · outbound
This paper cites Retrieved Mar.
Reference 2024
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T11:49:49.442417Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
No inbound Pith citation observations are available.