{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:MN4TLW6IGV2CWKL4FBN3BBWN6H","short_pith_number":"pith:MN4TLW6I","canonical_record":{"source":{"id":"2608.00768","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-01T17:01:10Z","cross_cats_sorted":[],"title_canon_sha256":"a7cb83aa79519c4796fdedea0d2e94eb115528f6b4fa56d2f4b2cf7c0e85caa8","abstract_canon_sha256":"4618b0e94d44131a16b57139479f5f1879b66b4757496d0636be7b8e7b51dae1"},"schema_version":"1.0"},"canonical_sha256":"637935dbc835742b297c285bb086cdf1e71521228dd6055ad5e5cf739fb5f510","source":{"kind":"arxiv","id":"2608.00768","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.00768","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"arxiv_version","alias_value":"2608.00768v1","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.00768","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"pith_short_12","alias_value":"MN4TLW6IGV2C","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"pith_short_16","alias_value":"MN4TLW6IGV2CWKL4","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"pith_short_8","alias_value":"MN4TLW6I","created_at":"2026-08-04T01:54:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:MN4TLW6IGV2CWKL4FBN3BBWN6H","target":"record","payload":{"canonical_record":{"source":{"id":"2608.00768","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-01T17:01:10Z","cross_cats_sorted":[],"title_canon_sha256":"a7cb83aa79519c4796fdedea0d2e94eb115528f6b4fa56d2f4b2cf7c0e85caa8","abstract_canon_sha256":"4618b0e94d44131a16b57139479f5f1879b66b4757496d0636be7b8e7b51dae1"},"schema_version":"1.0"},"canonical_sha256":"637935dbc835742b297c285bb086cdf1e71521228dd6055ad5e5cf739fb5f510","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T01:54:54.538774Z","signature_b64":"YovIU3O19xZrexa40AbdUFI1TdoKyLq+NROmFRav7qvPxIi6pipBlQTrdbUi2mSJq+2NST1fqY+XONvE405FAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"637935dbc835742b297c285bb086cdf1e71521228dd6055ad5e5cf739fb5f510","last_reissued_at":"2026-08-04T01:54:54.537342Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T01:54:54.537342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.00768","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-08-04T01:54:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AV1ttqNNsl304dwHi88969gGPOPu+5dQGBNLV0lC3mMJkYJ7QD+3eyRcA/FSkXPdn6DgfWDQQa9YTwahZC/yBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T18:48:48.042618Z"},"content_sha256":"d7a928dca20a8829eefde72e72dbc3a3d0cab991eec678c5727b4bcdf11a3e38","schema_version":"1.0","event_id":"sha256:d7a928dca20a8829eefde72e72dbc3a3d0cab991eec678c5727b4bcdf11a3e38"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:MN4TLW6IGV2CWKL4FBN3BBWN6H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Lukas Zandomeneghi, Marc Kurz, Rainhard Dieter Findling","submitted_at":"2026-08-01T17:01:10Z","abstract_excerpt":"This paper investigates solving and generation techniques for the logic puzzles Hitori and Binairo. Two solving paradigms are compared: backtracking with domain-specific optimizations, and SAT-based solving via conjunctive normal form encodings. An empirical evaluation analyzes runtime, explored search nodes, and branching factor across varying puzzle sizes. To support systematic benchmarking in the evaluation, generators capable of producing valid and uniquely solvable puzzle instances are developed. Results indicate that constraint propagation is the most effective backtracking optimization,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.00768","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/2608.00768/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-08-04T01:54:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nOz4G/Hlt5vbflm16J+OXBtq2+uPIHJgSD83/u0TGZlvnnAa7gE1WAsbEiT2ViCFXLY9CY8S8MKNn0tpjakwBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T18:48:48.043167Z"},"content_sha256":"5c00fa524a6e2e48d22b69f15e74f5620840e03774e183b5328a03d1d3dba999","schema_version":"1.0","event_id":"sha256:5c00fa524a6e2e48d22b69f15e74f5620840e03774e183b5328a03d1d3dba999"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MN4TLW6IGV2CWKL4FBN3BBWN6H/bundle.json","state_url":"https://pith.science/pith/MN4TLW6IGV2CWKL4FBN3BBWN6H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MN4TLW6IGV2CWKL4FBN3BBWN6H/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-05T18:48:48Z","links":{"resolver":"https://pith.science/pith/MN4TLW6IGV2CWKL4FBN3BBWN6H","bundle":"https://pith.science/pith/MN4TLW6IGV2CWKL4FBN3BBWN6H/bundle.json","state":"https://pith.science/pith/MN4TLW6IGV2CWKL4FBN3BBWN6H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MN4TLW6IGV2CWKL4FBN3BBWN6H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:MN4TLW6IGV2CWKL4FBN3BBWN6H","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":"4618b0e94d44131a16b57139479f5f1879b66b4757496d0636be7b8e7b51dae1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-01T17:01:10Z","title_canon_sha256":"a7cb83aa79519c4796fdedea0d2e94eb115528f6b4fa56d2f4b2cf7c0e85caa8"},"schema_version":"1.0","source":{"id":"2608.00768","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.00768","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"arxiv_version","alias_value":"2608.00768v1","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.00768","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"pith_short_12","alias_value":"MN4TLW6IGV2C","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"pith_short_16","alias_value":"MN4TLW6IGV2CWKL4","created_at":"2026-08-04T01:54:54Z"},{"alias_kind":"pith_short_8","alias_value":"MN4TLW6I","created_at":"2026-08-04T01:54:54Z"}],"graph_snapshots":[{"event_id":"sha256:5c00fa524a6e2e48d22b69f15e74f5620840e03774e183b5328a03d1d3dba999","target":"graph","created_at":"2026-08-04T01:54:54Z","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/2608.00768/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper investigates solving and generation techniques for the logic puzzles Hitori and Binairo. Two solving paradigms are compared: backtracking with domain-specific optimizations, and SAT-based solving via conjunctive normal form encodings. An empirical evaluation analyzes runtime, explored search nodes, and branching factor across varying puzzle sizes. To support systematic benchmarking in the evaluation, generators capable of producing valid and uniquely solvable puzzle instances are developed. Results indicate that constraint propagation is the most effective backtracking optimization,","authors_text":"Lukas Zandomeneghi, Marc Kurz, Rainhard Dieter Findling","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-01T17:01:10Z","title":"Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.00768","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:d7a928dca20a8829eefde72e72dbc3a3d0cab991eec678c5727b4bcdf11a3e38","target":"record","created_at":"2026-08-04T01:54:54Z","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":"4618b0e94d44131a16b57139479f5f1879b66b4757496d0636be7b8e7b51dae1","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-08-01T17:01:10Z","title_canon_sha256":"a7cb83aa79519c4796fdedea0d2e94eb115528f6b4fa56d2f4b2cf7c0e85caa8"},"schema_version":"1.0","source":{"id":"2608.00768","kind":"arxiv","version":1}},"canonical_sha256":"637935dbc835742b297c285bb086cdf1e71521228dd6055ad5e5cf739fb5f510","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"637935dbc835742b297c285bb086cdf1e71521228dd6055ad5e5cf739fb5f510","first_computed_at":"2026-08-04T01:54:54.537342Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-04T01:54:54.537342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YovIU3O19xZrexa40AbdUFI1TdoKyLq+NROmFRav7qvPxIi6pipBlQTrdbUi2mSJq+2NST1fqY+XONvE405FAA==","signature_status":"signed_v1","signed_at":"2026-08-04T01:54:54.538774Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.00768","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d7a928dca20a8829eefde72e72dbc3a3d0cab991eec678c5727b4bcdf11a3e38","sha256:5c00fa524a6e2e48d22b69f15e74f5620840e03774e183b5328a03d1d3dba999"],"state_sha256":"ff6f257f0e43e0bf75111322eb52914a35a08d0b372276a02152cf575e681aa5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YxfQsBNbNOeakI9umZAZBIS1Kxif5VwLG0UjKvJOGMHAm565egXlmMqmKqrrXPlebggiKwrbSjjuhbZryGyBCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T18:48:48.046902Z","bundle_sha256":"1ad4e37ccb31ceb472e397b42d3d68dc1f6d73b5c41c5c21cd82e36366077832"}}