{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:GUKUQ4JV3SNYHSXYSH4CPX7PSX","short_pith_number":"pith:GUKUQ4JV","canonical_record":{"source":{"id":"1608.00731","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-02T08:36:53Z","cross_cats_sorted":[],"title_canon_sha256":"668d87ca12af44b4ccff6e340c950f7c46a00f924d838813a3e18c48dd42415e","abstract_canon_sha256":"91f5c5c715adbe13f2e07cdbaf657066974dca63f24dd280ab9933aea198bd41"},"schema_version":"1.0"},"canonical_sha256":"3515487135dc9b83caf891f827dfef95f6bb66c9167dd223bce22a69e595dfb8","source":{"kind":"arxiv","id":"1608.00731","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.00731","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"arxiv_version","alias_value":"1608.00731v1","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.00731","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"pith_short_12","alias_value":"GUKUQ4JV3SNY","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GUKUQ4JV3SNYHSXY","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GUKUQ4JV","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:GUKUQ4JV3SNYHSXYSH4CPX7PSX","target":"record","payload":{"canonical_record":{"source":{"id":"1608.00731","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-02T08:36:53Z","cross_cats_sorted":[],"title_canon_sha256":"668d87ca12af44b4ccff6e340c950f7c46a00f924d838813a3e18c48dd42415e","abstract_canon_sha256":"91f5c5c715adbe13f2e07cdbaf657066974dca63f24dd280ab9933aea198bd41"},"schema_version":"1.0"},"canonical_sha256":"3515487135dc9b83caf891f827dfef95f6bb66c9167dd223bce22a69e595dfb8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:10:01.202013Z","signature_b64":"vqU72KoDsj/KU2YylL4oUVvQAgSqqbeOFfFX0By3rHXeNi9MDYoetG3vH88ieamJK6R1v7wo7PM3iFB+6TWiDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3515487135dc9b83caf891f827dfef95f6bb66c9167dd223bce22a69e595dfb8","last_reissued_at":"2026-05-18T01:10:01.201443Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:10:01.201443Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.00731","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-18T01:10:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d4AEIdC/fKTRn0FSoLmomNXFaCaqguI0nOcyfYQpQUbAZvblTIvHYtjrkApoCe2c9gAMDhFeEjyBwG2sankEDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T10:01:32.299603Z"},"content_sha256":"9233d494252b11e00440df191f6021815d7db6237a06e10f267a33e7f27637d8","schema_version":"1.0","event_id":"sha256:9233d494252b11e00440df191f6021815d7db6237a06e10f267a33e7f27637d8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:GUKUQ4JV3SNYHSXYSH4CPX7PSX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Anytime answer set optimization via unsatisfiable core shrinking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Carmine Dodaro, Mario Alviano","submitted_at":"2016-08-02T08:36:53Z","abstract_excerpt":"Unsatisfiable core analysis can boost the computation of optimum stable models for logic programs with weak constraints. However, current solvers employing unsatisfiable core analysis either run to completion, or provide no suboptimal stable models but the one resulting from the preliminary disjoint cores analysis. This drawback is circumvented here by introducing a progression based shrinking of the analyzed unsatisfiable cores. In fact, suboptimal stable models are possibly found while shrinking unsatisfiable cores, hence resulting into an anytime algorithm. Moreover, as confirmed empiricall"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.00731","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-18T01:10:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WlLK/IMkRMfcdhXxRujomntHAeFkoW9BkZdr0SlOZzeWV5BeIeTmdS/vv7ulQCPJvdKnSdlkn7AsZtF9N/1wCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T10:01:32.299948Z"},"content_sha256":"3cb8b5d3ec9b127b33f5488bc01be4a5836037effd709866a418d5cb7ba87a28","schema_version":"1.0","event_id":"sha256:3cb8b5d3ec9b127b33f5488bc01be4a5836037effd709866a418d5cb7ba87a28"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GUKUQ4JV3SNYHSXYSH4CPX7PSX/bundle.json","state_url":"https://pith.science/pith/GUKUQ4JV3SNYHSXYSH4CPX7PSX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GUKUQ4JV3SNYHSXYSH4CPX7PSX/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-31T10:01:32Z","links":{"resolver":"https://pith.science/pith/GUKUQ4JV3SNYHSXYSH4CPX7PSX","bundle":"https://pith.science/pith/GUKUQ4JV3SNYHSXYSH4CPX7PSX/bundle.json","state":"https://pith.science/pith/GUKUQ4JV3SNYHSXYSH4CPX7PSX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GUKUQ4JV3SNYHSXYSH4CPX7PSX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:GUKUQ4JV3SNYHSXYSH4CPX7PSX","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":"91f5c5c715adbe13f2e07cdbaf657066974dca63f24dd280ab9933aea198bd41","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-02T08:36:53Z","title_canon_sha256":"668d87ca12af44b4ccff6e340c950f7c46a00f924d838813a3e18c48dd42415e"},"schema_version":"1.0","source":{"id":"1608.00731","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.00731","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"arxiv_version","alias_value":"1608.00731v1","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.00731","created_at":"2026-05-18T01:10:01Z"},{"alias_kind":"pith_short_12","alias_value":"GUKUQ4JV3SNY","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GUKUQ4JV3SNYHSXY","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GUKUQ4JV","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:3cb8b5d3ec9b127b33f5488bc01be4a5836037effd709866a418d5cb7ba87a28","target":"graph","created_at":"2026-05-18T01:10:01Z","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":"Unsatisfiable core analysis can boost the computation of optimum stable models for logic programs with weak constraints. However, current solvers employing unsatisfiable core analysis either run to completion, or provide no suboptimal stable models but the one resulting from the preliminary disjoint cores analysis. This drawback is circumvented here by introducing a progression based shrinking of the analyzed unsatisfiable cores. In fact, suboptimal stable models are possibly found while shrinking unsatisfiable cores, hence resulting into an anytime algorithm. Moreover, as confirmed empiricall","authors_text":"Carmine Dodaro, Mario Alviano","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-02T08:36:53Z","title":"Anytime answer set optimization via unsatisfiable core shrinking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.00731","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:9233d494252b11e00440df191f6021815d7db6237a06e10f267a33e7f27637d8","target":"record","created_at":"2026-05-18T01:10:01Z","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":"91f5c5c715adbe13f2e07cdbaf657066974dca63f24dd280ab9933aea198bd41","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-08-02T08:36:53Z","title_canon_sha256":"668d87ca12af44b4ccff6e340c950f7c46a00f924d838813a3e18c48dd42415e"},"schema_version":"1.0","source":{"id":"1608.00731","kind":"arxiv","version":1}},"canonical_sha256":"3515487135dc9b83caf891f827dfef95f6bb66c9167dd223bce22a69e595dfb8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3515487135dc9b83caf891f827dfef95f6bb66c9167dd223bce22a69e595dfb8","first_computed_at":"2026-05-18T01:10:01.201443Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:01.201443Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vqU72KoDsj/KU2YylL4oUVvQAgSqqbeOFfFX0By3rHXeNi9MDYoetG3vH88ieamJK6R1v7wo7PM3iFB+6TWiDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:01.202013Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.00731","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9233d494252b11e00440df191f6021815d7db6237a06e10f267a33e7f27637d8","sha256:3cb8b5d3ec9b127b33f5488bc01be4a5836037effd709866a418d5cb7ba87a28"],"state_sha256":"40000f59c307af44078adb9ef5077482596fe5b1cb39c33b2479ff3d6f52dcf8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rzIQGtOtBXGqiZLSoOZcBeYh0flMO6K9Js8b0jgOiLL964/mfHUzhNXw/b4V3QwJamUZvEjyMTnPsxKhZll/Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T10:01:32.302114Z","bundle_sha256":"a7469e5aebb753757f2f839ba75c78eeccb95fb617181ba6ce663de020a33c56"}}