Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T10:33:02.889127Z
Paper Citation Record · LEDGER
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
As of 13 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 3 inbound Pith citation observations for arXiv:2509.04007.
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-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-02T19:18:47.014206Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-04T20:20:07.349276Z
Reference resolution
15 of 15 outbound references displayed
- verified exact0
- verified fuzzy10
- unresolved3
- parse uncertain0
- malformed identifier0
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 2f417f3c-6c44-4942-bd18-96921ab62929 · outbound
This paper cites In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), 12–1.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), 12–1
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:03.075211Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 167bcb39-5357-4145-8192-c30aa899f303 · outbound
This paper cites In In Proceedings of SAT 2024, volume 305, 8:1–8:18.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In In Proceedings of SAT 2024, volume 305, 8:1–8:18
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:03.063655Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 954b00cb-a528-47a5-a082-2be2658123dc · outbound
This paper cites In Proceedings of AAAI 2021 , 3750–.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In Proceedings of AAAI 2021 , 3750–
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:03.052351Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 20c63157-c065-4fe0-b1bd-45ad07374968 · outbound
This paper cites In ECAI 2023, 1124–1131.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In ECAI 2023, 1124–1131
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:03.017074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c03a45c3-86f2-4757-b388-a8c07dbf6010 · outbound
This paper cites DeciLS-PBO: an Effective Local Search Method for Pseudo-Boolean Optimization.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers DeciLS-PBO: an Effective Local Search Method for Pseudo-Boolean Optimization
Reference 10
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-05T10:33:02.942367Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 730a3e22-88e3-44fe-a295-a8b2900469aa · outbound
This paper cites In Theory and Applications of Satisfiability Testing–SAT 2021: 24th Inter- national Conference, Barcelona, Spain, July 5-9, 2021, Pro- ceedings 24, 332–348.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In Theory and Applications of Satisfiability Testing–SAT 2021: 24th Inter- national Conference, Barcelona, Spain, July 5-9, 2021, Pro- ceedings 24, 332–348
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:03.005438Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 6bda0d4a-f7fe-41ae-9d04-483dad803ad7 · outbound
This paper cites Discovering heuristics in a complex SAT solver with large language models.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers Discovering heuristics in a complex SAT solver with large language models
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T10:33:02.885010Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c8e66e14-8f4a-4f3d-b31b-732d7097133c · outbound
This paper cites In 2011 IEEE Com- puter Society Annual Symposium on VLSI, 120–125.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In 2011 IEEE Com- puter Society Annual Symposium on VLSI, 120–125
Reference 2011
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:02.981063Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation abea0ef5-b5dd-4911-87ba-927b4d9e7621 · outbound
This paper cites In Lang, J., ed., Proceedings of IJCAI 2018, 1291–1299.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In Lang, J., ed., Proceedings of IJCAI 2018, 1291–1299
Reference 2018
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:03.040749Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 50ea755a-9467-47d6-9f9d-59b2d733ac93 · outbound
This paper cites In Proceedings of AAAI 2020, 1495–1503.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In Proceedings of AAAI 2020, 1495–1503
Reference 2020
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:03.028530Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 56310703-3c03-41fd-a70d-2d37cb3762e3 · outbound
This paper cites The SCIP Optimization Suite 8.0.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers The SCIP Optimization Suite 8.0
Reference 2021
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T10:33:02.837555Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1c0ec9a0-02e1-42c7-b3bf-6994d36970a4 · outbound
This paper cites In Proceedings of SAT 2022, 13:1–13:18.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In Proceedings of SAT 2022, 13:1–13:18
Reference 2022
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:02.992794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 30a0a1cb-a1d1-4c18-9e1d-f5200f12c795 · outbound
This paper cites In Proceedings of AAAI 2023 , volume 37, 3915–3923.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers In Proceedings of AAAI 2023 , volume 37, 3915–3923
Reference 2023
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-05T10:33:03.086691Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation e5fb07a0-7e7e-4033-b622-1aa5ce7ed26c · outbound
This paper cites ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers ParLS-PBO: A Parallel Local Search Solver for Pseudo Boolean Optimization
Reference 2024
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-05T10:33:02.957738Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 13109639-e87b-4b07-b260-d74f8664246a · outbound
This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers AlphaEvolve: A coding agent for scientific and algorithmic discovery
Reference 2025
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T10:33:02.877616Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation 77878530-7a94-4efc-ac97-549fe4213a47 · inbound
From Heuristic Selection to Automated Algorithm Design: LLMs Benefit from Strong Priors cites this paper.
From Heuristic Selection to Automated Algorithm Design: LLMs Benefit from Strong Priors AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T19:18:47.014206Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 746f22ff-1d0c-47a1-a3af-32b1bb925aed · inbound
MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources cites this paper.
MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
Reference 5
- Resolution
- verified exact
- arxiv_id, observed 2026-07-04T20:20:07.350986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation c9afde87-74f1-4c5b-9951-48d821306cc9 · inbound
MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources cites this paper.
MiniOpt: Reasoning to Model and Solve General Optimization Problems with Limited Resources AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
Reference 5
- Resolution
- verified exact
- arxiv_id, observed 2026-07-04T13:19:50.778563Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.