{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:DLI3M3TQ4DKMA4RIIUQQYK5BQP","short_pith_number":"pith:DLI3M3TQ","canonical_record":{"source":{"id":"2307.10688","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-20T08:30:56Z","cross_cats_sorted":[],"title_canon_sha256":"5253978f25c2c2c2fa2cbdf42ce417539338277fdb3a9d83e37be57d71ee51e0","abstract_canon_sha256":"af0208fa730800b32f30979baadcab29102f27e39a2fb3a96b782a40b9222f18"},"schema_version":"1.0"},"canonical_sha256":"1ad1b66e70e0d4c0722845210c2ba183f75e8150ed5756d9bbb255ee401a7a40","source":{"kind":"arxiv","id":"2307.10688","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.10688","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"arxiv_version","alias_value":"2307.10688v1","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.10688","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"pith_short_12","alias_value":"DLI3M3TQ4DKM","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"pith_short_16","alias_value":"DLI3M3TQ4DKMA4RI","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"pith_short_8","alias_value":"DLI3M3TQ","created_at":"2026-07-05T06:33:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:DLI3M3TQ4DKMA4RIIUQQYK5BQP","target":"record","payload":{"canonical_record":{"source":{"id":"2307.10688","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-20T08:30:56Z","cross_cats_sorted":[],"title_canon_sha256":"5253978f25c2c2c2fa2cbdf42ce417539338277fdb3a9d83e37be57d71ee51e0","abstract_canon_sha256":"af0208fa730800b32f30979baadcab29102f27e39a2fb3a96b782a40b9222f18"},"schema_version":"1.0"},"canonical_sha256":"1ad1b66e70e0d4c0722845210c2ba183f75e8150ed5756d9bbb255ee401a7a40","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:33:08.814502Z","signature_b64":"6yursK7Gx7XCBWfgOzPbww8qSlv+aE+35or2d6fyeboXiH2HwcIkn+D5KuokspXYvBumenL68/gAGDKp91uJBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ad1b66e70e0d4c0722845210c2ba183f75e8150ed5756d9bbb255ee401a7a40","last_reissued_at":"2026-07-05T06:33:08.814069Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:33:08.814069Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.10688","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-05T06:33:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I8xB4jJwVKLSlRAa7aN8IvlKUUgfR9hAgfvZz2ZWUMyZCpj/s3iopFTvllCQbi18h9wyJTkF86LHCBtglK8RAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T11:07:35.247483Z"},"content_sha256":"ce76ce25224505de8ef7506ad77c211ebac48bdb61f077d3c8e034dfd0eeb37c","schema_version":"1.0","event_id":"sha256:ce76ce25224505de8ef7506ad77c211ebac48bdb61f077d3c8e034dfd0eeb37c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:DLI3M3TQ4DKMA4RIIUQQYK5BQP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bounded Combinatorial Reconfiguration with Answer Set Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Katsumi Inoue, Mutsunori Banbara, Torsten Schaub, Yuya Yamada","submitted_at":"2023-07-20T08:30:56Z","abstract_excerpt":"We develop an approach called bounded combinatorial reconfiguration for solving combinatorial reconfiguration problems based on Answer Set Programming (ASP). The general task is to study the solution spaces of source combinatorial problems and to decide whether or not there are sequences of feasible solutions that have special properties. The resulting recongo solver covers all metrics of the solver track in the most recent international competition on combinatorial reconfiguration (CoRe Challenge 2022). recongo ranked first in the shortest metric of the single-engine solvers track. In this pa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.10688","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/2307.10688/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-05T06:33:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rlgKZtujuXgE6SVckupLpHI432X3rZObTf8QaYxPB+VX3sXOwqt69wB4cGWItBOXHx24ypRWUmR6mEgfQ8KiDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T11:07:35.248120Z"},"content_sha256":"f95313502caf8b22bf55329328a5f5adc4a3b70969923c840c179f0c6dbe083d","schema_version":"1.0","event_id":"sha256:f95313502caf8b22bf55329328a5f5adc4a3b70969923c840c179f0c6dbe083d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DLI3M3TQ4DKMA4RIIUQQYK5BQP/bundle.json","state_url":"https://pith.science/pith/DLI3M3TQ4DKMA4RIIUQQYK5BQP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DLI3M3TQ4DKMA4RIIUQQYK5BQP/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-08-01T11:07:35Z","links":{"resolver":"https://pith.science/pith/DLI3M3TQ4DKMA4RIIUQQYK5BQP","bundle":"https://pith.science/pith/DLI3M3TQ4DKMA4RIIUQQYK5BQP/bundle.json","state":"https://pith.science/pith/DLI3M3TQ4DKMA4RIIUQQYK5BQP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DLI3M3TQ4DKMA4RIIUQQYK5BQP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:DLI3M3TQ4DKMA4RIIUQQYK5BQP","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":"af0208fa730800b32f30979baadcab29102f27e39a2fb3a96b782a40b9222f18","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-20T08:30:56Z","title_canon_sha256":"5253978f25c2c2c2fa2cbdf42ce417539338277fdb3a9d83e37be57d71ee51e0"},"schema_version":"1.0","source":{"id":"2307.10688","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.10688","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"arxiv_version","alias_value":"2307.10688v1","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.10688","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"pith_short_12","alias_value":"DLI3M3TQ4DKM","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"pith_short_16","alias_value":"DLI3M3TQ4DKMA4RI","created_at":"2026-07-05T06:33:08Z"},{"alias_kind":"pith_short_8","alias_value":"DLI3M3TQ","created_at":"2026-07-05T06:33:08Z"}],"graph_snapshots":[{"event_id":"sha256:f95313502caf8b22bf55329328a5f5adc4a3b70969923c840c179f0c6dbe083d","target":"graph","created_at":"2026-07-05T06:33:08Z","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/2307.10688/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop an approach called bounded combinatorial reconfiguration for solving combinatorial reconfiguration problems based on Answer Set Programming (ASP). The general task is to study the solution spaces of source combinatorial problems and to decide whether or not there are sequences of feasible solutions that have special properties. The resulting recongo solver covers all metrics of the solver track in the most recent international competition on combinatorial reconfiguration (CoRe Challenge 2022). recongo ranked first in the shortest metric of the single-engine solvers track. In this pa","authors_text":"Katsumi Inoue, Mutsunori Banbara, Torsten Schaub, Yuya Yamada","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-20T08:30:56Z","title":"Bounded Combinatorial Reconfiguration with Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.10688","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:ce76ce25224505de8ef7506ad77c211ebac48bdb61f077d3c8e034dfd0eeb37c","target":"record","created_at":"2026-07-05T06:33:08Z","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":"af0208fa730800b32f30979baadcab29102f27e39a2fb3a96b782a40b9222f18","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-07-20T08:30:56Z","title_canon_sha256":"5253978f25c2c2c2fa2cbdf42ce417539338277fdb3a9d83e37be57d71ee51e0"},"schema_version":"1.0","source":{"id":"2307.10688","kind":"arxiv","version":1}},"canonical_sha256":"1ad1b66e70e0d4c0722845210c2ba183f75e8150ed5756d9bbb255ee401a7a40","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1ad1b66e70e0d4c0722845210c2ba183f75e8150ed5756d9bbb255ee401a7a40","first_computed_at":"2026-07-05T06:33:08.814069Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:33:08.814069Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6yursK7Gx7XCBWfgOzPbww8qSlv+aE+35or2d6fyeboXiH2HwcIkn+D5KuokspXYvBumenL68/gAGDKp91uJBg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:33:08.814502Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.10688","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce76ce25224505de8ef7506ad77c211ebac48bdb61f077d3c8e034dfd0eeb37c","sha256:f95313502caf8b22bf55329328a5f5adc4a3b70969923c840c179f0c6dbe083d"],"state_sha256":"e239254c5a7abea66e995d51227329497db5ddc188227462a6d850b6f00bdfdc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/BtmL2cVa4f9kBVPt8GitC+fl4XyJPjPinrI/sH89WIRVuNN3B7u1JpbLE7tB9Iq2McotxHAjUjyv0k4BbXGCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T11:07:35.253828Z","bundle_sha256":"da721b6128d3097b7ad39670f71b7ad96844f395bc31cb0114ba58cb8b744872"}}