{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:W4T4X34HWEO7JD7JPEXECE53U2","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":"83d91f53f16bfb2565f5767699d75967b097d941316b85b3ce798d48157e6346","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-12-22T13:20:02Z","title_canon_sha256":"5ff6cc0e5ffb2946a9f8677b96b94d4571594ab24c5e5a15aa65ce23dd28c488"},"schema_version":"1.0","source":{"id":"1612.07589","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.07589","created_at":"2026-05-18T00:54:09Z"},{"alias_kind":"arxiv_version","alias_value":"1612.07589v1","created_at":"2026-05-18T00:54:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.07589","created_at":"2026-05-18T00:54:09Z"},{"alias_kind":"pith_short_12","alias_value":"W4T4X34HWEO7","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_16","alias_value":"W4T4X34HWEO7JD7J","created_at":"2026-05-18T12:30:48Z"},{"alias_kind":"pith_short_8","alias_value":"W4T4X34H","created_at":"2026-05-18T12:30:48Z"}],"graph_snapshots":[{"event_id":"sha256:3ca7578700900a6b551a084d72b6a63c4102ffa12e405e7c676f0932587b8352","target":"graph","created_at":"2026-05-18T00:54:09Z","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":"Optimization - minimization or maximization - in the lattice of subsets is a frequent operation in Artificial Intelligence tasks. Examples are subset-minimal model-based diagnosis, nonmonotonic reasoning by means of circumscription, or preferred extensions in abstract argumentation. Finding the optimum among many admissible solutions is often harder than finding admissible solutions with respect to both computational complexity and methodology. This paper addresses the former issue by means of an effective method for finding subset-optimal solutions. It is based on the relationship between car","authors_text":"Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Wolfgang Faber","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-12-22T13:20:02Z","title":"Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.07589","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:6fb902ad31f597dad683499d0c1033256449600c750a0a236e6565f27703eb7f","target":"record","created_at":"2026-05-18T00:54:09Z","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":"83d91f53f16bfb2565f5767699d75967b097d941316b85b3ce798d48157e6346","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-12-22T13:20:02Z","title_canon_sha256":"5ff6cc0e5ffb2946a9f8677b96b94d4571594ab24c5e5a15aa65ce23dd28c488"},"schema_version":"1.0","source":{"id":"1612.07589","kind":"arxiv","version":1}},"canonical_sha256":"b727cbef87b11df48fe9792e4113bba681183575acabc97afdd9fca52c4d3642","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b727cbef87b11df48fe9792e4113bba681183575acabc97afdd9fca52c4d3642","first_computed_at":"2026-05-18T00:54:09.675202Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:09.675202Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qNnCCnwm8ZZaHglPXsrgnfwR27eaumh4ze5m7sJdwIMQm+H55Pe3tr3lsR+LavaLmKF0AX/Sz0G5q2GvDuxpDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:09.675762Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.07589","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6fb902ad31f597dad683499d0c1033256449600c750a0a236e6565f27703eb7f","sha256:3ca7578700900a6b551a084d72b6a63c4102ffa12e405e7c676f0932587b8352"],"state_sha256":"c790c1024bee0bf92cb5474630792e7c7e5e02874075e611160091e3fdaf1115"}