{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:HWSZNRKWV7JRMVQFNAOBW4PVHT","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":"3e70df63a23180bc88354953191aed03ffbf2babb49d8437cc445d85e55f739f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-09-13T11:48:32Z","title_canon_sha256":"48330acd4d167c234cd4ab1da779f177527238f03deb8fc5de12a3ca4f03182b"},"schema_version":"1.0","source":{"id":"1109.2752","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.2752","created_at":"2026-05-18T04:13:07Z"},{"alias_kind":"arxiv_version","alias_value":"1109.2752v1","created_at":"2026-05-18T04:13:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.2752","created_at":"2026-05-18T04:13:07Z"},{"alias_kind":"pith_short_12","alias_value":"HWSZNRKWV7JR","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"HWSZNRKWV7JRMVQF","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"HWSZNRKW","created_at":"2026-05-18T12:26:30Z"}],"graph_snapshots":[{"event_id":"sha256:ec3f707f32aa0a8796bada7337c3287ca27f9ff4f7556f0434c0a3e06c9ce194","target":"graph","created_at":"2026-05-18T04:13:07Z","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":"Boolean optimization finds a wide range of application domains, that motivated a number of different organizations of Boolean optimizers since the mid 90s. Some of the most successful approaches are based on iterative calls to an NP oracle, using either linear search, binary search or the identification of unsatisfiable sub-formulas. The increasing use of Boolean optimizers in practical settings raises the question of confidence in computed results. For example, the issue of confidence is paramount in safety critical settings. One way of increasing the confidence of the results computed by Boo","authors_text":"Antonio Morgado, Joao Marques-Silva","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-09-13T11:48:32Z","title":"On Validating Boolean Optimizers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.2752","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:28bcd7a1239f864f479ea0b0029b8da6f69f74605f73854b5fdee77bf5d9b973","target":"record","created_at":"2026-05-18T04:13:07Z","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":"3e70df63a23180bc88354953191aed03ffbf2babb49d8437cc445d85e55f739f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-09-13T11:48:32Z","title_canon_sha256":"48330acd4d167c234cd4ab1da779f177527238f03deb8fc5de12a3ca4f03182b"},"schema_version":"1.0","source":{"id":"1109.2752","kind":"arxiv","version":1}},"canonical_sha256":"3da596c556afd3165605681c1b71f53cfcce2f4e39b4920612da9e410adca043","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3da596c556afd3165605681c1b71f53cfcce2f4e39b4920612da9e410adca043","first_computed_at":"2026-05-18T04:13:07.786805Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:13:07.786805Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IRcVa8bkSN5/bRQKVjfDArPjaDWHUCVak0luV0tpkH/jdo4MK39LkvJVkQCAO48tanrggRHhrfyohBekONkHDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:13:07.787497Z","signed_message":"canonical_sha256_bytes"},"source_id":"1109.2752","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:28bcd7a1239f864f479ea0b0029b8da6f69f74605f73854b5fdee77bf5d9b973","sha256:ec3f707f32aa0a8796bada7337c3287ca27f9ff4f7556f0434c0a3e06c9ce194"],"state_sha256":"cb667373845ec28e0d1cbe4eb80862d73b03b1752c0282c78fee3171cc6b9faa"}