Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T10:55:25.059932Z
Paper Citation Record · LEDGER
An Expansion-Based Approach for Quantified Integer Programming
As of 8 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2506.04452.
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
18 of 18 outbound references displayed
- verified exact8
- verified fuzzy8
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e5fbf273-443d-40e4-96e5-d9340c73f32e · outbound
This paper cites 9 Olaf Beyersdorff, Leroy Chew, Judith Clymo, and Meena Mahajan.
An Expansion-Based Approach for Quantified Integer Programming 9 Olaf Beyersdorff, Leroy Chew, Judith Clymo, and Meena Mahajan
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-07T10:55:25.446260Z
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 2ebea36e-19b8-4b44-9a05-a14d4c49279e · outbound
This paper cites 18 Leroy Chew and Marijn JH Heule.
An Expansion-Based Approach for Quantified Integer Programming 18 Leroy Chew and Marijn JH Heule
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T10:55:24.940423Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36dfba74-7305-4aa3-b0ff-b98ee6884502 · outbound
This paper cites 21 Vašek Chvátal.Cutting-plane proofs and the stability number of a graph.
An Expansion-Based Approach for Quantified Integer Programming 21 Vašek Chvátal.Cutting-plane proofs and the stability number of a graph
Reference 10
- Resolution
- verified exact
- doi, observed 2026-08-07T10:55:25.266427Z
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 c7ab33ac-2d97-4be5-b68c-13e36e3f9426 · outbound
This paper cites uni-siegen.de/handle/ubsi/1705,doi:http://dx.doi.org/10.25819/ubsi/4841.
An Expansion-Based Approach for Quantified Integer Programming uni-siegen.de/handle/ubsi/1705,doi:http://dx.doi.org/10.25819/ubsi/4841
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-07T10:55:25.216708Z
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 a97d42ce-b4f4-4ea4-bc1f-3f0baf8ca4e5 · outbound
This paper cites Quantified integer programs with polyhedral uncertainty set.
An Expansion-Based Approach for Quantified Integer Programming Quantified integer programs with polyhedral uncertainty set
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:55:25.636733Z
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 041f6989-d4e7-4196-ba0d-e83a9f1509c9 · outbound
This paper cites Hartisch and L.
An Expansion-Based Approach for Quantified Integer Programming Hartisch and L
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:55:25.557983Z
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 55fe4b2d-93d4-4c8a-bb35-6e7eff00561c · outbound
This paper cites A general model-and-run solver for multistage robust discrete linear optimization.
An Expansion-Based Approach for Quantified Integer Programming A general model-and-run solver for multistage robust discrete linear optimization
Reference 16
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T10:55:25.505010Z
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 b7e62800-5f3e-4c23-b7d1-aed881afbcd4 · outbound
This paper cites org/index.php/AAAI/article/view/12208,doi:10.1609/aaai.v32i1.12208.
An Expansion-Based Approach for Quantified Integer Programming org/index.php/AAAI/article/view/12208,doi:10.1609/aaai.v32i1.12208
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-07T10:55:25.164848Z
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 22c10fa0-6ab1-4fa3-ad1d-c8172d98223b · outbound
This paper cites 62 Phebe Vayanos, Daniel Kuhn, and Berç Rustem.
An Expansion-Based Approach for Quantified Integer Programming 62 Phebe Vayanos, Daniel Kuhn, and Berç Rustem
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-07T10:55:25.133974Z
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 e5301651-830b-4865-84bd-f751adb65d9d · outbound
This paper cites Understanding the relative strength of QBF CDCL solvers and QBF resolution.
An Expansion-Based Approach for Quantified Integer Programming Understanding the relative strength of QBF CDCL solvers and QBF resolution
Reference 2003
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:55:25.799113Z
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 ad95a576-c20e-4161-ac9b-2de8fc06066c · outbound
This paper cites QCDCL vs QBF resolution: Further insights.
An Expansion-Based Approach for Quantified Integer Programming QCDCL vs QBF resolution: Further insights
Reference 2015
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:55:25.756440Z
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 7ee9dd3c-5178-41dd-899d-e5ca5c7e4015 · outbound
This paper cites Mastering uncertainty: towards robust multistage optimiza- tion with decision dependent uncertainty.
An Expansion-Based Approach for Quantified Integer Programming Mastering uncertainty: towards robust multistage optimiza- tion with decision dependent uncertainty
Reference 2016
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:55:25.595734Z
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 7c8718b5-acda-42ed-9984-73aab932143c · outbound
This paper cites Yasol: an open source solver for quantified mixed integer programs.
An Expansion-Based Approach for Quantified Integer Programming Yasol: an open source solver for quantified mixed integer programs
Reference 2018
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:55:25.667002Z
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 2e45962e-ef70-4021-8039-0a922ee14ff0 · outbound
This paper cites New resolution-based QBF calculi and their proof complexity.ACM Trans.
An Expansion-Based Approach for Quantified Integer Programming New resolution-based QBF calculi and their proof complexity.ACM Trans
Reference 2019
- Resolution
- verified exact
- doi, observed 2026-08-07T10:55:25.413265Z
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 103aaba6-5606-4032-9abc-36f3f9b4735d · outbound
This paper cites On the complexity of quantified integer programming.
An Expansion-Based Approach for Quantified Integer Programming On the complexity of quantified integer programming
Reference 2020
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:55:25.714358Z
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 e01fe5e3-d7fb-4be6-994d-b865800fdf13 · outbound
This paper cites Hartisch and L.
An Expansion-Based Approach for Quantified Integer Programming Hartisch and L
Reference 2021
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:55:25.830203Z
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 99cee6e4-3199-458f-b4ae-ab35c7acba23 · outbound
This paper cites 15 Hubie Chen.
An Expansion-Based Approach for Quantified Integer Programming 15 Hubie Chen
Reference 2023
- Resolution
- verified exact
- doi, observed 2026-08-07T10:55:25.324090Z
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 6959c4be-e9ee-456c-8de8-af0a4d6d5009 · outbound
This paper cites 12 Nikolaj Bjørner, Mikolás Janota, and William Klieber.
An Expansion-Based Approach for Quantified Integer Programming 12 Nikolaj Bjørner, Mikolás Janota, and William Klieber
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T10:55:24.911754Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.