{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:J2DCGOXCELVG6CFWOE3Z2DM33R","short_pith_number":"pith:J2DCGOXC","canonical_record":{"source":{"id":"1005.1716","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-05-11T05:32:37Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"66645930cfd3e8431ffbe87f034a23eef2d6e3bd9ba1b8cb8b3d9b82cac4257e","abstract_canon_sha256":"7e7a997e51da7faad615a08a7fe0c91ebcb5642bc4ee1115da128cdebfbaa0ca"},"schema_version":"1.0"},"canonical_sha256":"4e86233ae222ea6f08b671379d0d9bdc40d0e0f1218fa7609bc2c6a2280dffe3","source":{"kind":"arxiv","id":"1005.1716","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1005.1716","created_at":"2026-05-18T02:24:08Z"},{"alias_kind":"arxiv_version","alias_value":"1005.1716v1","created_at":"2026-05-18T02:24:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1005.1716","created_at":"2026-05-18T02:24:08Z"},{"alias_kind":"pith_short_12","alias_value":"J2DCGOXCELVG","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_16","alias_value":"J2DCGOXCELVG6CFW","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_8","alias_value":"J2DCGOXC","created_at":"2026-05-18T12:26:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:J2DCGOXCELVG6CFWOE3Z2DM33R","target":"record","payload":{"canonical_record":{"source":{"id":"1005.1716","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-05-11T05:32:37Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"66645930cfd3e8431ffbe87f034a23eef2d6e3bd9ba1b8cb8b3d9b82cac4257e","abstract_canon_sha256":"7e7a997e51da7faad615a08a7fe0c91ebcb5642bc4ee1115da128cdebfbaa0ca"},"schema_version":"1.0"},"canonical_sha256":"4e86233ae222ea6f08b671379d0d9bdc40d0e0f1218fa7609bc2c6a2280dffe3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:24:08.514621Z","signature_b64":"7Lr5jWQXJvukYj/ihRV3B5YQxQPeTauxhrwWbmmL81y2fS8a8eBplln4XLUHMxVen8H81C+n2TWXkxUcAqA6AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e86233ae222ea6f08b671379d0d9bdc40d0e0f1218fa7609bc2c6a2280dffe3","last_reissued_at":"2026-05-18T02:24:08.514126Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:24:08.514126Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1005.1716","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-18T02:24:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+ZEgSeYB3QMyaIoj1EUgdGPL12FCWCZJv5oXPNr7vnDSBYyv2oxiicpWs5TBpdKJaBWykpMx0++yux/4y8xgDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T02:19:03.666848Z"},"content_sha256":"c397be5b19243a2c5fd8c39af2c5e2069e4fb6198bd69ae3ee891c4b6bcda6b2","schema_version":"1.0","event_id":"sha256:c397be5b19243a2c5fd8c39af2c5e2069e4fb6198bd69ae3ee891c4b6bcda6b2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:J2DCGOXCELVG6CFWOE3Z2DM33R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Heuristics in Conflict Resolution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Benjamin Kaufmann, Christian Drescher, Martin Gebser, Torsten Schaub","submitted_at":"2010-05-11T05:32:37Z","abstract_excerpt":"Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven learning and related techniques constitute key features whose application is enabled by conflict analysis. Although various conflict analysis schemes have been proposed, implemented, and studied both theoretically and practically in the SAT area, the heuristic aspects involved in conflict analysis have not yet received much attention. Assuming a fixed conflict analysis scheme, we address the open question of how to ide"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1005.1716","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-18T02:24:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NPC8sjnQoSNTmGwZW18VKOfeaxJSqt3fUZyXZ/E32PVgHxOTtdG+OcJYGwUrU1AJi+KhXs1OQfa4J/NKtB6YBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T02:19:03.667630Z"},"content_sha256":"6d5fd48da1fd6e08638b7e36e5ead89e459a1b49ab2df34ead9643155dd30361","schema_version":"1.0","event_id":"sha256:6d5fd48da1fd6e08638b7e36e5ead89e459a1b49ab2df34ead9643155dd30361"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J2DCGOXCELVG6CFWOE3Z2DM33R/bundle.json","state_url":"https://pith.science/pith/J2DCGOXCELVG6CFWOE3Z2DM33R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J2DCGOXCELVG6CFWOE3Z2DM33R/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-30T02:19:03Z","links":{"resolver":"https://pith.science/pith/J2DCGOXCELVG6CFWOE3Z2DM33R","bundle":"https://pith.science/pith/J2DCGOXCELVG6CFWOE3Z2DM33R/bundle.json","state":"https://pith.science/pith/J2DCGOXCELVG6CFWOE3Z2DM33R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J2DCGOXCELVG6CFWOE3Z2DM33R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:J2DCGOXCELVG6CFWOE3Z2DM33R","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":"7e7a997e51da7faad615a08a7fe0c91ebcb5642bc4ee1115da128cdebfbaa0ca","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-05-11T05:32:37Z","title_canon_sha256":"66645930cfd3e8431ffbe87f034a23eef2d6e3bd9ba1b8cb8b3d9b82cac4257e"},"schema_version":"1.0","source":{"id":"1005.1716","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1005.1716","created_at":"2026-05-18T02:24:08Z"},{"alias_kind":"arxiv_version","alias_value":"1005.1716v1","created_at":"2026-05-18T02:24:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1005.1716","created_at":"2026-05-18T02:24:08Z"},{"alias_kind":"pith_short_12","alias_value":"J2DCGOXCELVG","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_16","alias_value":"J2DCGOXCELVG6CFW","created_at":"2026-05-18T12:26:09Z"},{"alias_kind":"pith_short_8","alias_value":"J2DCGOXC","created_at":"2026-05-18T12:26:09Z"}],"graph_snapshots":[{"event_id":"sha256:6d5fd48da1fd6e08638b7e36e5ead89e459a1b49ab2df34ead9643155dd30361","target":"graph","created_at":"2026-05-18T02:24: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"},"paper":{"abstract_excerpt":"Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven learning and related techniques constitute key features whose application is enabled by conflict analysis. Although various conflict analysis schemes have been proposed, implemented, and studied both theoretically and practically in the SAT area, the heuristic aspects involved in conflict analysis have not yet received much attention. Assuming a fixed conflict analysis scheme, we address the open question of how to ide","authors_text":"Benjamin Kaufmann, Christian Drescher, Martin Gebser, Torsten Schaub","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-05-11T05:32:37Z","title":"Heuristics in Conflict Resolution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1005.1716","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:c397be5b19243a2c5fd8c39af2c5e2069e4fb6198bd69ae3ee891c4b6bcda6b2","target":"record","created_at":"2026-05-18T02:24: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":"7e7a997e51da7faad615a08a7fe0c91ebcb5642bc4ee1115da128cdebfbaa0ca","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-05-11T05:32:37Z","title_canon_sha256":"66645930cfd3e8431ffbe87f034a23eef2d6e3bd9ba1b8cb8b3d9b82cac4257e"},"schema_version":"1.0","source":{"id":"1005.1716","kind":"arxiv","version":1}},"canonical_sha256":"4e86233ae222ea6f08b671379d0d9bdc40d0e0f1218fa7609bc2c6a2280dffe3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e86233ae222ea6f08b671379d0d9bdc40d0e0f1218fa7609bc2c6a2280dffe3","first_computed_at":"2026-05-18T02:24:08.514126Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:24:08.514126Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7Lr5jWQXJvukYj/ihRV3B5YQxQPeTauxhrwWbmmL81y2fS8a8eBplln4XLUHMxVen8H81C+n2TWXkxUcAqA6AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:24:08.514621Z","signed_message":"canonical_sha256_bytes"},"source_id":"1005.1716","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c397be5b19243a2c5fd8c39af2c5e2069e4fb6198bd69ae3ee891c4b6bcda6b2","sha256:6d5fd48da1fd6e08638b7e36e5ead89e459a1b49ab2df34ead9643155dd30361"],"state_sha256":"c08d887184a4c36b4eefad974371cdf33c51b954d38445260df239fb886cfc58"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZAkpDTHkoniNX1/YPFelyJwNfS49kkEiS2xCWBdhEHcLvw+FnbRbuZQgHFhQ6eWH+7YYLQ4Ph5jdW5giURR9Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T02:19:03.671707Z","bundle_sha256":"f7e2ce0df1f6263c143095dadb5bdf5f0a95679efd677361ea9f8eaa595a4071"}}