{"as_of":"2026-08-20T13:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c1bc82d729e55c8a4087848894932db4e1582fcf1a0517049c66ff83984b94ad","coverage":[{"denominator":19,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":19,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-03T02:17:58.919208Z","state":"measured"},{"denominator":19,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":19,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.01726/citation-record","integrity":"/paper/2607.01726/integrity","json":"/paper/2607.01726/citation-record.json","paper":"/paper/2607.01726"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.196552Z","title":"Aloul, Igor L","venue":null,"work_id":"589e8ce9-f381-472b-adea-627d8fc9319d","year":2003},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:039c1779fcdf3a61341fd500ec9f63623742be52f4e7b6dbc38a3b3e8e4585e1","observation_id":"270a2663-6111-4595-aa8b-72c1e74649dc","resolution":{"observed_at":"2026-07-05T15:51:16.197854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.200866Z","title":null,"venue":null,"work_id":"c0d2284d-50ef-49cd-bf18-593f16f8fd50","year":1964},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:15f8e96a0325fd166a760e4a96ffa6390faa6828a41289a58d948835f6d5d970","observation_id":"47a51f90-501a-4e98-970a-82a85f658b19","resolution":{"observed_at":"2026-07-05T15:51:16.202201Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.194108Z","title":"In Christel Baier and Cesare Tinelli, editors,Tools and Algorithms for the Construction and Analysis of Systems, pages 194–199, Berlin, Heidelberg, 2015","venue":null,"work_id":"fbb96d63-6c85-42ae-9799-ecf3e992c764","year":2015},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:9c2bd35cbdde6de05b8f7d653667a716c663426c2205d0345418ca43d4ec7ec0","observation_id":"5d81ba1c-067e-431b-9ee2-02750e5192e2","resolution":{"observed_at":"2026-07-05T15:51:16.195846Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.202972Z","title":"Crawford, Matthew L","venue":null,"work_id":"964bdce2-7a6b-4f97-820f-f485b5c52698","year":1996},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:d1dbe5979412ce9aa93c5eab61652d54dfa904f0aec51aece2e13515d2ac0fd8","observation_id":"34e75ad8-533e-4d2e-b678-aa2e5bbe000d","resolution":{"observed_at":"2026-07-05T15:51:16.204468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.205173Z","title":"Z3: An Efficient SMT Solver","venue":null,"work_id":"881a5f79-d3bf-47dd-857c-21937e39de6a","year":2008},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:de1aabed61195966045989c73661018642ffee54764e15f6a6bdd8ed704d3814","observation_id":"7d195655-4803-4e52-a529-4ea12f8af608","resolution":{"observed_at":"2026-07-05T15:51:16.207326Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1908.00860","last_updated":"2020-01-16T06:01:31Z","snapshot_observed_at":"2026-08-14T15:27:55.742335Z","submitted_at":"2019-08-02T13:53:02Z","title":"Advances in Symmetry Breaking for SAT Modulo Theories","version":2},"cited_work":{"arxiv_id":"1908.00860","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1908.00860","snapshot_observed_at":"2026-07-03T02:27:34.302818Z","title":"Advances in Symmetry Break- ing for SAT Modulo Theories.arXiv preprint arXiv:1908.00860, 2019","venue":null,"work_id":"2af444ae-5781-4b88-b7da-b87a2bf50dd3","year":1908},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"cited_paper":"/paper/1908.00860","citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:aaa3ff5e6f217787c77bb80db5069f923ec86408ef2889583ce3e808ef19ddc0","observation_id":"7f5ed77a-3def-44b3-8c9e-c760f33f996c","resolution":{"observed_at":"2026-07-03T02:27:34.304279Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2602.08297","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T02:27:34.299999Z","title":"Automatic Generation of Polynomial Symmetry Break- ing Constraints","venue":null,"work_id":"0733707e-49cd-4bf6-b9c5-7dbfb937e2eb","year":2026},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:434106f04f73dcc4c14d946bb750fbb4f3b6ab601fe7b93110f942c5034d44bc","observation_id":"546f25f5-7c45-49d1-8153-44b3294ce101","resolution":{"observed_at":"2026-07-03T02:27:34.301519Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.208514Z","title":"Polynomial Symmetry Breakers.https://github.com/ merascu/PolynomialSymmetryBreakers, 2026","venue":null,"work_id":"75887b67-4da0-4643-b091-3d2a068fc8d6","year":2026},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:f864d11e2d6b4150aad5b5d75c6456db6a48b87f375a5aeb4379a16b284c5c33","observation_id":"e777de0d-1596-4c63-8563-6df32925e7a0","resolution":{"observed_at":"2026-07-05T15:51:16.210101Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.210833Z","title":"Gent, Karen E","venue":null,"work_id":"35dba444-b6ad-447c-988d-64b779641dca","year":2006},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:6959982e8d47e1a411efffc6bd10cc7062e5efc9e0d297bd9633362fd0723072","observation_id":"6bd96497-b37b-465e-b83f-666985256d34","resolution":{"observed_at":"2026-07-05T15:51:16.212112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.188196Z","title":"Gurobi Optimizer Reference Manual.https://www.gurobi.com, 2024","venue":null,"work_id":"4ccd1347-35c0-42d9-9ab1-820e0c82d837","year":2024},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:b0fd9b93133db6ea8f8d99b04172ae688d6751d69c65e8b49f5f576b871b4a3f","observation_id":"a3186563-19da-42b4-9182-2acb96072d20","resolution":{"observed_at":"2026-07-05T15:51:16.189651Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.186027Z","title":"Hexaly Optimizer.https://www.hexaly.com, 2026","venue":null,"work_id":"e0ce4fc4-2828-4eaa-bae4-48ce66754c2a","year":2026},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:33a771da14c50e99e1163f5654ea25e6d12bbaca5aa4ac0d10c2264958df212c","observation_id":"9fa8e182-5220-48d8-8d03-950fb2e705bc","resolution":{"observed_at":"2026-07-05T15:51:16.187515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2511.18580","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-03T02:27:34.305434Z","title":"The scip optimization suite 10.0","venue":null,"work_id":"ae3eee3b-b090-4402-a153-6ce3909f6e3d","year":2025},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:5ada36c569aece8bf2bce7172aaa9ba50f45405ffa9e8210b468677c2f4e577c","observation_id":"706ed0a8-6031-4020-8885-f789d651acb4","resolution":{"observed_at":"2026-07-03T02:27:34.306856Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.198594Z","title":"Packing and Partitioning Orbitopes.Mathematical Programming, 114(1):1–36, 2008","venue":null,"work_id":"66b1e7ce-ffb5-41f7-a4f6-e4bee5db310f","year":2008},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:347bd5f573573b67fd97cdccbfdd6431833f5a698636557ab618c85641be2baa","observation_id":"7ad25946-5238-4209-abbf-48730ca9c2aa","resolution":{"observed_at":"2026-07-05T15:51:16.200062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.179145Z","title":"IBM ILOG CPLEX Optimization Studio.Version, 12(1987-2018):1, 1987","venue":null,"work_id":"e7b95a53-0864-4098-b370-d5255f8a1b5d","year":1987},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:9a7aeca8d6c1526ab66576673f43172bcc9ef549c6f3507034d5c8b950c13529","observation_id":"afb442f3-8cc3-4c26-8ea3-6783dd275f41","resolution":{"observed_at":"2026-07-05T15:51:16.180676Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.181432Z","title":"Pruning by Isomorphism in Branch-and-Cut.Mathematical Programming, 94(1):71–90, 2002","venue":null,"work_id":"c230d712-646c-4ccd-92c6-6f60d2f60e07","year":2002},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:67f70ed9dfbe77c4c717ec1f48e6004d8c1a377aa4a2bc1ece65a1f8ef2e4ac2","observation_id":"f7ce5922-859a-46e0-9c04-f482410f821f","resolution":{"observed_at":"2026-07-05T15:51:16.183052Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.183727Z","title":"John Wiley & Sons, Inc., 1990","venue":null,"work_id":"d11388b2-a270-45f2-a8cd-dea5b55a3020","year":1990},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:c318bdf77a340f3fcba1ed68919b6486a568bbffcb42ccc95eb75d60e0e1ea44","observation_id":"64303f2d-6909-4caf-a30c-3d3101988147","resolution":{"observed_at":"2026-07-05T15:51:16.185045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.174696Z","title":"On the Satisfiability of Symmetrical Constrained Satisfaction Problems","venue":null,"work_id":"c88b272b-4b11-4c34-a82e-9a4f5ca75cee","year":1993},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:5d3261d30f6da83600769b0a8b25394bfb16f8fccea0d5ee3b1ce1dd878b4de6","observation_id":"a095e48b-6a40-496f-8a37-eb9d059ae81e","resolution":{"observed_at":"2026-07-05T15:51:16.176032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-05T15:51:16.176748Z","title":"Symmetry Breaking Inequalities from the Schreier-Sims Table","venue":null,"work_id":"eab4cdb2-ba06-4405-9d5c-8873ec5b5c58","year":2018},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:f66466c2f51ba84cec4e424920e2e563795dad5764696f529a153d9991c57951","observation_id":"02deaeac-978c-4511-8e7d-0cb840334372","resolution":{"observed_at":"2026-07-05T15:51:16.178158Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1204.3348","last_updated":"2012-04-16T02:56:16Z","snapshot_observed_at":"2026-08-15T04:13:00.305583Z","submitted_at":"2012-04-16T02:56:16Z","title":"Symmetry Breaking Constraints: Recent Results","version":1},"cited_work":{"arxiv_id":"1204.3348","doi":null,"metadata_source":"pith","pith_arxiv_id":"1204.3348","snapshot_observed_at":"2026-07-03T02:27:34.297416Z","title":"Symmetry Breaking Constraints: Recent Results","venue":"cs.AI","work_id":"ca4af18d-4eef-4129-a5d1-f6e199940062","year":2012},"citing_paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-03T02:17:58.919208Z"},"links":{"cited_paper":"/paper/1204.3348","citing_paper":"/paper/2607.01726"},"observation_digest":"sha256:b8e7a845545f3371c5d4d35c5becdbe854f309e211722bccc6b4d2e3a08db42b","observation_id":"59f83dc9-513f-4064-aad4-c1a43da5c8d8","resolution":{"observed_at":"2026-07-03T02:27:34.298789Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.01726","last_updated":"2026-07-02T05:28:36Z","latest_version":1,"primary_category":"cs.SC","snapshot_observed_at":"2026-08-07T18:25:57.729183Z","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study"},"reference_resolution":{"displayed":19,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":2,"verified_fuzzy":14},"total_outbound_references":19},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"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."}