Paper Citation Record · LEDGER

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study

As of 20 August 2026, this Paper Citation Record lists 19 of 19 outbound references and 0 inbound Pith citation observations for arXiv:2607.01726.

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

pith.paper-citation-record.v1
2607.01726 v1

Coverage vector

measured 19 of 19 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-03T02:17:58.919208Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

19 of 19 outbound references displayed

verified exact2
verified fuzzy14
unresolved1
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 270a2663-6111-4595-aa8b-72c1e74649dc · outbound

This paper cites Aloul, Igor L.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Aloul, Igor L

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.197854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 47a51f90-501a-4e98-970a-82a85f658b19 · outbound

This paper cites an unresolved cited work.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-07-05T15:51:16.202201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5d81ba1c-067e-431b-9ee2-02750e5192e2 · outbound

This paper cites In Christel Baier and Cesare Tinelli, editors,Tools and Algorithms for the Construction and Analysis of Systems, pages 194–199, Berlin, Heidelberg, 2015.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study In Christel Baier and Cesare Tinelli, editors,Tools and Algorithms for the Construction and Analysis of Systems, pages 194–199, Berlin, Heidelberg, 2015

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.195846Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 34e75ad8-533e-4d2e-b678-aa2e5bbe000d · outbound

This paper cites Crawford, Matthew L.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Crawford, Matthew L

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.204468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7d195655-4803-4e52-a529-4ea12f8af608 · outbound

This paper cites Z3: An Efficient SMT Solver.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Z3: An Efficient SMT Solver

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.207326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7f5ed77a-3def-44b3-8c9e-c760f33f996c · outbound

This paper cites Advances in Symmetry Breaking for SAT Modulo Theories.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Advances in Symmetry Breaking for SAT Modulo Theories

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-07-03T02:27:34.304279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 546f25f5-7c45-49d1-8153-44b3294ce101 · outbound

This paper cites Automatic Generation of Polynomial Symmetry Break- ing Constraints.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Automatic Generation of Polynomial Symmetry Break- ing Constraints

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-07-03T02:27:34.301519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e777de0d-1596-4c63-8563-6df32925e7a0 · outbound

This paper cites Polynomial Symmetry Breakers.https://github.com/ merascu/PolynomialSymmetryBreakers, 2026.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Polynomial Symmetry Breakers.https://github.com/ merascu/PolynomialSymmetryBreakers, 2026

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.210101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6bd96497-b37b-465e-b83f-666985256d34 · outbound

This paper cites Gent, Karen E.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Gent, Karen E

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.212112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a3186563-19da-42b4-9182-2acb96072d20 · outbound

This paper cites Gurobi Optimizer Reference Manual.https://www.gurobi.com, 2024.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Gurobi Optimizer Reference Manual.https://www.gurobi.com, 2024

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.189651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9fa8e182-5220-48d8-8d03-950fb2e705bc · outbound

This paper cites Hexaly Optimizer.https://www.hexaly.com, 2026.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Hexaly Optimizer.https://www.hexaly.com, 2026

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.187515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 706ed0a8-6031-4020-8885-f789d651acb4 · outbound

This paper cites The scip optimization suite 10.0.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study The scip optimization suite 10.0

Reference 12

Resolution: malformed identifier; arxiv_id, observed 2026-07-03T02:27:34.306856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7ad25946-5238-4209-abbf-48730ca9c2aa · outbound

This paper cites Packing and Partitioning Orbitopes.Mathematical Programming, 114(1):1–36, 2008.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Packing and Partitioning Orbitopes.Mathematical Programming, 114(1):1–36, 2008

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.200062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation afb442f3-8cc3-4c26-8ea3-6783dd275f41 · outbound

This paper cites IBM ILOG CPLEX Optimization Studio.Version, 12(1987-2018):1, 1987.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study IBM ILOG CPLEX Optimization Studio.Version, 12(1987-2018):1, 1987

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.180676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f7ce5922-859a-46e0-9c04-f482410f821f · outbound

This paper cites Pruning by Isomorphism in Branch-and-Cut.Mathematical Programming, 94(1):71–90, 2002.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Pruning by Isomorphism in Branch-and-Cut.Mathematical Programming, 94(1):71–90, 2002

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.183052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 64303f2d-6909-4caf-a30c-3d3101988147 · outbound

This paper cites John Wiley & Sons, Inc., 1990.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study John Wiley & Sons, Inc., 1990

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.185045Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a095e48b-6a40-496f-8a37-eb9d059ae81e · outbound

This paper cites On the Satisfiability of Symmetrical Constrained Satisfaction Problems.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study On the Satisfiability of Symmetrical Constrained Satisfaction Problems

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.176032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 02deaeac-978c-4511-8e7d-0cb840334372 · outbound

This paper cites Symmetry Breaking Inequalities from the Schreier-Sims Table.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Symmetry Breaking Inequalities from the Schreier-Sims Table

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-05T15:51:16.178158Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 59f83dc9-513f-4064-aad4-c1a43da5c8d8 · outbound

This paper cites Symmetry Breaking Constraints: Recent Results.

When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study Symmetry Breaking Constraints: Recent Results

Reference 19

Resolution: malformed identifier; local_arxiv, observed 2026-07-03T02:27:34.298789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.