{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:FO3IS543DRFYZ5LA6JEBDGR7LZ","short_pith_number":"pith:FO3IS543","canonical_record":{"source":{"id":"2605.19671","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-19T11:02:08Z","cross_cats_sorted":[],"title_canon_sha256":"a7f1cef5e1b5bdf1d9d9a50c7cf183f9c503011b6c94e7c4d98538f3bb62409c","abstract_canon_sha256":"982dd293fc808f1b227ecc436a95e8b17ef5d26c35d8fe65a4cf820b32cad4fe"},"schema_version":"1.0"},"canonical_sha256":"2bb689779b1c4b8cf560f248119a3f5e74152afab0bb5d924cba0b2d35d818e5","source":{"kind":"arxiv","id":"2605.19671","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.19671","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"arxiv_version","alias_value":"2605.19671v1","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.19671","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"pith_short_12","alias_value":"FO3IS543DRFY","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"pith_short_16","alias_value":"FO3IS543DRFYZ5LA","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"pith_short_8","alias_value":"FO3IS543","created_at":"2026-05-20T01:05:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:FO3IS543DRFYZ5LA6JEBDGR7LZ","target":"record","payload":{"canonical_record":{"source":{"id":"2605.19671","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-19T11:02:08Z","cross_cats_sorted":[],"title_canon_sha256":"a7f1cef5e1b5bdf1d9d9a50c7cf183f9c503011b6c94e7c4d98538f3bb62409c","abstract_canon_sha256":"982dd293fc808f1b227ecc436a95e8b17ef5d26c35d8fe65a4cf820b32cad4fe"},"schema_version":"1.0"},"canonical_sha256":"2bb689779b1c4b8cf560f248119a3f5e74152afab0bb5d924cba0b2d35d818e5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:05:57.079341Z","signature_b64":"7X+eB3CWl5rGJjlbp9I2TcKpVG/4Z85WTljj+M7mYPsEE8eiiIE0FakZJY17HQwdhhEvtXl7C6ezvthzxj40Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2bb689779b1c4b8cf560f248119a3f5e74152afab0bb5d924cba0b2d35d818e5","last_reissued_at":"2026-05-20T01:05:57.078628Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:05:57.078628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.19671","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-05-20T01:05:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AmIG84Aw5zmhO1s1k4luEMwlhMWrhCDAR30TkCpKk4Zw/IAaulE17b/xpTNLcZPAbxb/zVTyhSxfr8uMkan4Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T10:26:27.889961Z"},"content_sha256":"c62a7135f363c234695bdd9aa0eb9d632a0c997af449bca420509493a94493b8","schema_version":"1.0","event_id":"sha256:c62a7135f363c234695bdd9aa0eb9d632a0c997af449bca420509493a94493b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:FO3IS543DRFYZ5LA6JEBDGR7LZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Transforming Constraint Programs to Input for Local Search","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jo Devriendt, Marc Denecker, Patrick De Causmaecker","submitted_at":"2026-05-19T11:02:08Z","abstract_excerpt":"Applying local search algorithms to combinatorial optimization problems is not an easy feat. Typically, human intervention is required to compile the constraints to input data for some metaheuristic algorithm. In this paper, we establish a link between symmetry properties of constraint optimization problems and local search neighborhoods, and we use this link to automatically generate neighborhoods from a constraint specification in the context of the IDP system. We evaluate the obtained neighborhoods for six classical optimization problems. The resulting observations support the viability of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.19671","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/2605.19671/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-05-20T01:05:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N9H5YNKWBan87GdeaNmo7xAjjo7UKnka7j6/7bzj0il4xPzVhXgx980PbqDOiHi089q3w/3btVCvXZs4V98aAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T10:26:27.890670Z"},"content_sha256":"45ed24b71dec9f896a47327fee9ab7552b7d4741b82ed0323c93532535bfdcdd","schema_version":"1.0","event_id":"sha256:45ed24b71dec9f896a47327fee9ab7552b7d4741b82ed0323c93532535bfdcdd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FO3IS543DRFYZ5LA6JEBDGR7LZ/bundle.json","state_url":"https://pith.science/pith/FO3IS543DRFYZ5LA6JEBDGR7LZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FO3IS543DRFYZ5LA6JEBDGR7LZ/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-05-21T10:26:27Z","links":{"resolver":"https://pith.science/pith/FO3IS543DRFYZ5LA6JEBDGR7LZ","bundle":"https://pith.science/pith/FO3IS543DRFYZ5LA6JEBDGR7LZ/bundle.json","state":"https://pith.science/pith/FO3IS543DRFYZ5LA6JEBDGR7LZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FO3IS543DRFYZ5LA6JEBDGR7LZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:FO3IS543DRFYZ5LA6JEBDGR7LZ","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":"982dd293fc808f1b227ecc436a95e8b17ef5d26c35d8fe65a4cf820b32cad4fe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-19T11:02:08Z","title_canon_sha256":"a7f1cef5e1b5bdf1d9d9a50c7cf183f9c503011b6c94e7c4d98538f3bb62409c"},"schema_version":"1.0","source":{"id":"2605.19671","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.19671","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"arxiv_version","alias_value":"2605.19671v1","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.19671","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"pith_short_12","alias_value":"FO3IS543DRFY","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"pith_short_16","alias_value":"FO3IS543DRFYZ5LA","created_at":"2026-05-20T01:05:57Z"},{"alias_kind":"pith_short_8","alias_value":"FO3IS543","created_at":"2026-05-20T01:05:57Z"}],"graph_snapshots":[{"event_id":"sha256:45ed24b71dec9f896a47327fee9ab7552b7d4741b82ed0323c93532535bfdcdd","target":"graph","created_at":"2026-05-20T01:05:57Z","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/2605.19671/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Applying local search algorithms to combinatorial optimization problems is not an easy feat. Typically, human intervention is required to compile the constraints to input data for some metaheuristic algorithm. In this paper, we establish a link between symmetry properties of constraint optimization problems and local search neighborhoods, and we use this link to automatically generate neighborhoods from a constraint specification in the context of the IDP system. We evaluate the obtained neighborhoods for six classical optimization problems. The resulting observations support the viability of ","authors_text":"Jo Devriendt, Marc Denecker, Patrick De Causmaecker","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-19T11:02:08Z","title":"Transforming Constraint Programs to Input for Local Search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.19671","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:c62a7135f363c234695bdd9aa0eb9d632a0c997af449bca420509493a94493b8","target":"record","created_at":"2026-05-20T01:05:57Z","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":"982dd293fc808f1b227ecc436a95e8b17ef5d26c35d8fe65a4cf820b32cad4fe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-19T11:02:08Z","title_canon_sha256":"a7f1cef5e1b5bdf1d9d9a50c7cf183f9c503011b6c94e7c4d98538f3bb62409c"},"schema_version":"1.0","source":{"id":"2605.19671","kind":"arxiv","version":1}},"canonical_sha256":"2bb689779b1c4b8cf560f248119a3f5e74152afab0bb5d924cba0b2d35d818e5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2bb689779b1c4b8cf560f248119a3f5e74152afab0bb5d924cba0b2d35d818e5","first_computed_at":"2026-05-20T01:05:57.078628Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T01:05:57.078628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7X+eB3CWl5rGJjlbp9I2TcKpVG/4Z85WTljj+M7mYPsEE8eiiIE0FakZJY17HQwdhhEvtXl7C6ezvthzxj40Dw==","signature_status":"signed_v1","signed_at":"2026-05-20T01:05:57.079341Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.19671","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c62a7135f363c234695bdd9aa0eb9d632a0c997af449bca420509493a94493b8","sha256:45ed24b71dec9f896a47327fee9ab7552b7d4741b82ed0323c93532535bfdcdd"],"state_sha256":"69c5161eea2c982d63014fd2f5bb9482497981397af74be4c84a63cca93c7d9a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oFKWkr5682R6GElK6V/jWffQ8G7lK3CdHRB+CV7y/i7tJBbPi9dwRgIm5bn4BordYVyIX+p55nu8th9Q6dQ/BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T10:26:27.894872Z","bundle_sha256":"3cc82fd000bc747ce83c919d6bf4cca3f62c1360ffa1af0223f21ffe9ac5b0bf"}}