Paper Citation Record · LEDGER

An Expansion-Based Approach for Quantified Integer Programming

As of 19 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.

pith.paper-citation-record.v1
2506.04452 v1

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:55:25.059932Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

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

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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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-19T06:32:44.657259+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.