{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:TYVN7KHUVXLK5OZR2VQZTFRKU2","short_pith_number":"pith:TYVN7KHU","canonical_record":{"source":{"id":"1203.1095","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-06T03:59:34Z","cross_cats_sorted":[],"title_canon_sha256":"d6dfbfe37df54f0dcf2d2c852a2ba569bea9190eb057227188a7a05ec3527a2d","abstract_canon_sha256":"39651cd5dd49cd6019b26b0115130b9ea8ffbd83ec4a71aaea19136ba2049244"},"schema_version":"1.0"},"canonical_sha256":"9e2adfa8f4add6aebb31d56199962aa69ab2977260d8d4ff242e87bcb707c10f","source":{"kind":"arxiv","id":"1203.1095","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.1095","created_at":"2026-05-18T04:00:48Z"},{"alias_kind":"arxiv_version","alias_value":"1203.1095v1","created_at":"2026-05-18T04:00:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1095","created_at":"2026-05-18T04:00:48Z"},{"alias_kind":"pith_short_12","alias_value":"TYVN7KHUVXLK","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TYVN7KHUVXLK5OZR","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TYVN7KHU","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:TYVN7KHUVXLK5OZR2VQZTFRKU2","target":"record","payload":{"canonical_record":{"source":{"id":"1203.1095","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-06T03:59:34Z","cross_cats_sorted":[],"title_canon_sha256":"d6dfbfe37df54f0dcf2d2c852a2ba569bea9190eb057227188a7a05ec3527a2d","abstract_canon_sha256":"39651cd5dd49cd6019b26b0115130b9ea8ffbd83ec4a71aaea19136ba2049244"},"schema_version":"1.0"},"canonical_sha256":"9e2adfa8f4add6aebb31d56199962aa69ab2977260d8d4ff242e87bcb707c10f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:00:48.827808Z","signature_b64":"frQPNFZY5C/3XGhMDMfnflj3ih46l1zidvS3bjXpyLscn8IpgNJdONSjHYdGpKXVv3ArH/oJOuM6WwL/jNjyDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e2adfa8f4add6aebb31d56199962aa69ab2977260d8d4ff242e87bcb707c10f","last_reissued_at":"2026-05-18T04:00:48.827397Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:00:48.827397Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.1095","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-18T04:00:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H27wb161xPy7heYohxUiXCgVB+uOKUKjfTr2BJ6/3PdvEFhvTbQwWTRYPofsLsOXSi2WZqYz/wAqUSKW3RiOCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:16:40.753028Z"},"content_sha256":"bec48a5b83e49f91c2681fdb1c6d6594b9a3a391fa315569e686e47b7bad74b8","schema_version":"1.0","event_id":"sha256:bec48a5b83e49f91c2681fdb1c6d6594b9a3a391fa315569e686e47b7bad74b8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:TYVN7KHUVXLK5OZR2VQZTFRKU2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Search Combinators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Guido Tack, Horst Samulowitz, Peter J. Stuckey, Pieter Wuille, Tom Schrijvers","submitted_at":"2012-03-06T03:59:34Z","abstract_excerpt":"The ability to model search in a constraint solver can be an essential asset for solving combinatorial problems. However, existing infrastructure for defining search heuristics is often inadequate. Either modeling capabilities are extremely limited or users are faced with a general-purpose programming language whose features are not tailored towards writing search heuristics. As a result, major improvements in performance may remain unexplored.\n  This article introduces search combinators, a lightweight and solver-independent method that bridges the gap between a conceptually simple modeling l"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1095","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":""},"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-18T04:00:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a20pr/Y9PfQZHTvx2klC0K7+SFJERfl527iYbR7v3SRGRk6PDjBY91BgiMa+ICRVfL2DhVeSKl9Mq1IyzZXoAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:16:40.753635Z"},"content_sha256":"8e387d946f86e7eab8f58f9abc2e4ea7820b94d5857da37a2431f7b41121e096","schema_version":"1.0","event_id":"sha256:8e387d946f86e7eab8f58f9abc2e4ea7820b94d5857da37a2431f7b41121e096"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TYVN7KHUVXLK5OZR2VQZTFRKU2/bundle.json","state_url":"https://pith.science/pith/TYVN7KHUVXLK5OZR2VQZTFRKU2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TYVN7KHUVXLK5OZR2VQZTFRKU2/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-26T18:16:40Z","links":{"resolver":"https://pith.science/pith/TYVN7KHUVXLK5OZR2VQZTFRKU2","bundle":"https://pith.science/pith/TYVN7KHUVXLK5OZR2VQZTFRKU2/bundle.json","state":"https://pith.science/pith/TYVN7KHUVXLK5OZR2VQZTFRKU2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TYVN7KHUVXLK5OZR2VQZTFRKU2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:TYVN7KHUVXLK5OZR2VQZTFRKU2","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":"39651cd5dd49cd6019b26b0115130b9ea8ffbd83ec4a71aaea19136ba2049244","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-06T03:59:34Z","title_canon_sha256":"d6dfbfe37df54f0dcf2d2c852a2ba569bea9190eb057227188a7a05ec3527a2d"},"schema_version":"1.0","source":{"id":"1203.1095","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.1095","created_at":"2026-05-18T04:00:48Z"},{"alias_kind":"arxiv_version","alias_value":"1203.1095v1","created_at":"2026-05-18T04:00:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1095","created_at":"2026-05-18T04:00:48Z"},{"alias_kind":"pith_short_12","alias_value":"TYVN7KHUVXLK","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TYVN7KHUVXLK5OZR","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TYVN7KHU","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:8e387d946f86e7eab8f58f9abc2e4ea7820b94d5857da37a2431f7b41121e096","target":"graph","created_at":"2026-05-18T04:00:48Z","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"},"paper":{"abstract_excerpt":"The ability to model search in a constraint solver can be an essential asset for solving combinatorial problems. However, existing infrastructure for defining search heuristics is often inadequate. Either modeling capabilities are extremely limited or users are faced with a general-purpose programming language whose features are not tailored towards writing search heuristics. As a result, major improvements in performance may remain unexplored.\n  This article introduces search combinators, a lightweight and solver-independent method that bridges the gap between a conceptually simple modeling l","authors_text":"Guido Tack, Horst Samulowitz, Peter J. Stuckey, Pieter Wuille, Tom Schrijvers","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-06T03:59:34Z","title":"Search Combinators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1095","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:bec48a5b83e49f91c2681fdb1c6d6594b9a3a391fa315569e686e47b7bad74b8","target":"record","created_at":"2026-05-18T04:00:48Z","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":"39651cd5dd49cd6019b26b0115130b9ea8ffbd83ec4a71aaea19136ba2049244","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-03-06T03:59:34Z","title_canon_sha256":"d6dfbfe37df54f0dcf2d2c852a2ba569bea9190eb057227188a7a05ec3527a2d"},"schema_version":"1.0","source":{"id":"1203.1095","kind":"arxiv","version":1}},"canonical_sha256":"9e2adfa8f4add6aebb31d56199962aa69ab2977260d8d4ff242e87bcb707c10f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e2adfa8f4add6aebb31d56199962aa69ab2977260d8d4ff242e87bcb707c10f","first_computed_at":"2026-05-18T04:00:48.827397Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:00:48.827397Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"frQPNFZY5C/3XGhMDMfnflj3ih46l1zidvS3bjXpyLscn8IpgNJdONSjHYdGpKXVv3ArH/oJOuM6WwL/jNjyDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:00:48.827808Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.1095","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bec48a5b83e49f91c2681fdb1c6d6594b9a3a391fa315569e686e47b7bad74b8","sha256:8e387d946f86e7eab8f58f9abc2e4ea7820b94d5857da37a2431f7b41121e096"],"state_sha256":"1844546f8c19e0c01068c0292699d67749f9bb7a03ccdc98581990cc2a77f1a3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yQgfSbbCJtF8UEVbYuS9pkYFA+L0ZzwV88oZ9yx0nEsl5LZgKic1Hd3/UvV6PFMWPWuf7PCeQz5Mt2KkDhyxCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T18:16:40.756715Z","bundle_sha256":"810b27f5313a58e897e44cb72f79d25d1a33b0c9fc37ad4ba2c6e029cda3f1b1"}}