{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:JLT3WQ5VOP46SLVREJS3O46J2C","short_pith_number":"pith:JLT3WQ5V","canonical_record":{"source":{"id":"2607.01726","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-07-02T05:28:36Z","cross_cats_sorted":[],"title_canon_sha256":"34e85fec05317e41cf019be841523ea2abce674e2de53643a70eeefeb02408bb","abstract_canon_sha256":"b2f20883ca6efa3b902e497585d96b7af12a25c99e33e5af2aa60e3f2544a6b6"},"schema_version":"1.0"},"canonical_sha256":"4ae7bb43b573f9e92eb12265b773c9d0a05aae8e7bc268bac09e0064b2f47d1f","source":{"kind":"arxiv","id":"2607.01726","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.01726","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"arxiv_version","alias_value":"2607.01726v1","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.01726","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"pith_short_12","alias_value":"JLT3WQ5VOP46","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"pith_short_16","alias_value":"JLT3WQ5VOP46SLVR","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"pith_short_8","alias_value":"JLT3WQ5V","created_at":"2026-07-03T01:17:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:JLT3WQ5VOP46SLVREJS3O46J2C","target":"record","payload":{"canonical_record":{"source":{"id":"2607.01726","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-07-02T05:28:36Z","cross_cats_sorted":[],"title_canon_sha256":"34e85fec05317e41cf019be841523ea2abce674e2de53643a70eeefeb02408bb","abstract_canon_sha256":"b2f20883ca6efa3b902e497585d96b7af12a25c99e33e5af2aa60e3f2544a6b6"},"schema_version":"1.0"},"canonical_sha256":"4ae7bb43b573f9e92eb12265b773c9d0a05aae8e7bc268bac09e0064b2f47d1f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-03T01:17:27.916174Z","signature_b64":"3Firh4Z+nI65I9ugLMr2DvqBrV3yS2E0Oda86JjUQq3kdQDLLnGWsWNrcC2lC70gvujNBVcyRwloamPoOuhVBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ae7bb43b573f9e92eb12265b773c9d0a05aae8e7bc268bac09e0064b2f47d1f","last_reissued_at":"2026-07-03T01:17:27.915760Z","signature_status":"signed_v1","first_computed_at":"2026-07-03T01:17:27.915760Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.01726","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-03T01:17:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"50p3eTAokSw1gMrFV4AgvFpzZgi0udFqYLFXXESi3sjZYvcEUqo1gDNgJiD633JUX6ZNqW+9drlhB93eEkxQDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:56:12.703002Z"},"content_sha256":"752345655d75ce32a5493a673f79ed8f144f693dd05e66f913ef23d7bd2ebb36","schema_version":"1.0","event_id":"sha256:752345655d75ce32a5493a673f79ed8f144f693dd05e66f913ef23d7bd2ebb36"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:JLT3WQ5VOP46SLVREJS3O46J2C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Johannes Middeke, Madalina Erascu","submitted_at":"2026-07-02T05:28:36Z","abstract_excerpt":"We present an experimental evaluation of automatically generated polynomial symmetry breaking constraints for integer linear programs. Starting from the method that we introduced at the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2026, we compare solver native quadratic handling, solver-internal reformulation, and explicit linearization on near half-capacity bin-packing benchmarks.\n  Experiments with several mathematical programming solvers and satisfiability modulo theory solvers show that the effectiveness of polynomial symmetry breaking is strongly solver-dependent"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.01726","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.01726/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-03T01:17:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6CJQC0k+V7oroos0UHZfwCMW/3v+4Reo6ZbU5WzXDVNwENxvl4bIjCxoLBRediMUOXTCG5TjEDJuiCOPwf2mDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T15:56:12.703577Z"},"content_sha256":"cc975977625375de7421d3ef21a321216c373aa84bdef67aa3411881155399a5","schema_version":"1.0","event_id":"sha256:cc975977625375de7421d3ef21a321216c373aa84bdef67aa3411881155399a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JLT3WQ5VOP46SLVREJS3O46J2C/bundle.json","state_url":"https://pith.science/pith/JLT3WQ5VOP46SLVREJS3O46J2C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JLT3WQ5VOP46SLVREJS3O46J2C/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-05T15:56:12Z","links":{"resolver":"https://pith.science/pith/JLT3WQ5VOP46SLVREJS3O46J2C","bundle":"https://pith.science/pith/JLT3WQ5VOP46SLVREJS3O46J2C/bundle.json","state":"https://pith.science/pith/JLT3WQ5VOP46SLVREJS3O46J2C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JLT3WQ5VOP46SLVREJS3O46J2C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JLT3WQ5VOP46SLVREJS3O46J2C","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b2f20883ca6efa3b902e497585d96b7af12a25c99e33e5af2aa60e3f2544a6b6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-07-02T05:28:36Z","title_canon_sha256":"34e85fec05317e41cf019be841523ea2abce674e2de53643a70eeefeb02408bb"},"schema_version":"1.0","source":{"id":"2607.01726","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.01726","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"arxiv_version","alias_value":"2607.01726v1","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.01726","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"pith_short_12","alias_value":"JLT3WQ5VOP46","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"pith_short_16","alias_value":"JLT3WQ5VOP46SLVR","created_at":"2026-07-03T01:17:27Z"},{"alias_kind":"pith_short_8","alias_value":"JLT3WQ5V","created_at":"2026-07-03T01:17:27Z"}],"graph_snapshots":[{"event_id":"sha256:cc975977625375de7421d3ef21a321216c373aa84bdef67aa3411881155399a5","target":"graph","created_at":"2026-07-03T01:17:27Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.01726/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present an experimental evaluation of automatically generated polynomial symmetry breaking constraints for integer linear programs. Starting from the method that we introduced at the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2026, we compare solver native quadratic handling, solver-internal reformulation, and explicit linearization on near half-capacity bin-packing benchmarks.\n  Experiments with several mathematical programming solvers and satisfiability modulo theory solvers show that the effectiveness of polynomial symmetry breaking is strongly solver-dependent","authors_text":"Johannes Middeke, Madalina Erascu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-07-02T05:28:36Z","title":"When Algebraic Symmetry Breaking Meets Solvers: An Experimental Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.01726","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:752345655d75ce32a5493a673f79ed8f144f693dd05e66f913ef23d7bd2ebb36","target":"record","created_at":"2026-07-03T01:17:27Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b2f20883ca6efa3b902e497585d96b7af12a25c99e33e5af2aa60e3f2544a6b6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2026-07-02T05:28:36Z","title_canon_sha256":"34e85fec05317e41cf019be841523ea2abce674e2de53643a70eeefeb02408bb"},"schema_version":"1.0","source":{"id":"2607.01726","kind":"arxiv","version":1}},"canonical_sha256":"4ae7bb43b573f9e92eb12265b773c9d0a05aae8e7bc268bac09e0064b2f47d1f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4ae7bb43b573f9e92eb12265b773c9d0a05aae8e7bc268bac09e0064b2f47d1f","first_computed_at":"2026-07-03T01:17:27.915760Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-03T01:17:27.915760Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3Firh4Z+nI65I9ugLMr2DvqBrV3yS2E0Oda86JjUQq3kdQDLLnGWsWNrcC2lC70gvujNBVcyRwloamPoOuhVBQ==","signature_status":"signed_v1","signed_at":"2026-07-03T01:17:27.916174Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.01726","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:752345655d75ce32a5493a673f79ed8f144f693dd05e66f913ef23d7bd2ebb36","sha256:cc975977625375de7421d3ef21a321216c373aa84bdef67aa3411881155399a5"],"state_sha256":"ba7ecc318deb431d3629e33adc56d5b54edc8515742b8c110b1f4befb10f6dd9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gGlnB0qrb+/nOAU6erKpT24O3rAuwNrQGrYpB8rhV4gmRNLjxckuCYGQZH9BqKFg/7qnvs6RGCA3D2mt/V65Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T15:56:12.706718Z","bundle_sha256":"c9c04482a373bde8acebf8692f59d399e421433eac864ff67460b3fc45783891"}}