Paper Citation Record · LEDGER

Explicit Formulas and Unimodality Phenomena for General Position Polynomials

As of 10 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2603.06930.

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

pith.paper-citation-record.v1
2603.06930 v3

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-15T13:34:28.306715Z

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

15 of 15 outbound references displayed

verified exact6
verified fuzzy0
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5618b41d-661c-4865-a3ea-e2c7c66bbcd1 · outbound

This paper cites Producing shorter congruence closure proofs in a state-of-the-art SMT solver.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials Producing shorter congruence closure proofs in a state-of-the-art SMT solver

Reference 1

Resolution: verified exact; doi, observed 2026-07-15T13:41:31.473470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation f482b6bd-a08a-4b6b-bb09-52c88f8d8ba5 · outbound

This paper cites 3 Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, and Sean B.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials 3 Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, and Sean B

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9caa3a54-43f7-4b15-ad77-e19636147820 · outbound

This paper cites an unresolved cited work.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3ef57af-3c9e-4c2c-a3bf-a4e432358727 · outbound

This paper cites 9 Robert Brummayer and Armin Biere.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials 9 Robert Brummayer and Armin Biere

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea5859b1-96bc-458e-b6dd-f53083f5f555 · outbound

This paper cites an unresolved cited work.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-07-15T13:41:31.441925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b38ff4ee-b68a-46cb-9528-01fe78b05bda · outbound

This paper cites Mollick, Hila Lifshitz-Assaf, Katherine Kellogg, Saran Rajendran, Lisa Krayer, François Candelon, and Karim R.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials Mollick, Hila Lifshitz-Assaf, Katherine Kellogg, Saran Rajendran, Lisa Krayer, François Candelon, and Karim R

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efbf14ec-7eae-413b-9d40-b429682b9212 · outbound

This paper cites 15 Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, and Armin Biere.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials 15 Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, and Armin Biere

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de7057ed-0709-4f0d-b431-53d3477d2c3f · outbound

This paper cites doi:10.4230/LIPIcs.SAT.2023.8.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials doi:10.4230/LIPIcs.SAT.2023.8

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0bd4faf9-091b-4492-b007-f6965e6fe800 · outbound

This paper cites 19 João Marques-Silva and Karem A.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials 19 João Marques-Silva and Karem A

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3477898-fa25-4e54-a22b-b6dd9b1efb66 · outbound

This paper cites Programming with triggers.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials Programming with triggers

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57a4f9bf-ffba-443f-8bdd-b8a290cd7516 · outbound

This paper cites 357079,doi:10.1145/357073.357079.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials 357079,doi:10.1145/357073.357079

Reference 11

Resolution: verified exact; doi, observed 2026-07-15T13:41:31.451897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 434f4e75-b577-4a52-a9b4-0038b43eb4f3 · outbound

This paper cites 24 Robert Nieuwenhuis and Albert Oliveras.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials 24 Robert Nieuwenhuis and Albert Oliveras

Reference 12

Resolution: verified exact; doi, observed 2026-07-15T13:41:31.425441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9defe818-99fa-40ca-b280-88327e980852 · outbound

This paper cites 27 Kaustubh Saini.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials 27 Kaustubh Saini

Reference 13

Resolution: verified exact; doi, observed 2026-07-15T13:41:31.446824Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c06da386-4b0a-48a2-9b46-b02e858238dc · outbound

This paper cites 29 Raymond M.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials 29 Raymond M

Reference 14

Resolution: verified exact; doi, observed 2026-07-15T13:41:31.433692Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation b12736dc-9fa8-4b40-b024-e6ae2d3a39f0 · outbound

This paper cites Autoformalization with Large Language Models.

Explicit Formulas and Unimodality Phenomena for General Position Polynomials Autoformalization with Large Language Models

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-15T13:34:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.