{"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"}