{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:SXMTAKAJEBRDXIAUMNZVRRCNYO","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":"d3bf3b85f39f27e9caf71ca724a556267614d3588491ec490f08e61475ad0c1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-06-10T13:42:16Z","title_canon_sha256":"0fd5aff0a2d63f3f50dd9f3cb2eb742dc0cd208e2dec0b21b943904f551f1574"},"schema_version":"1.0","source":{"id":"2006.05833","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.05833","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"arxiv_version","alias_value":"2006.05833v1","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.05833","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"pith_short_12","alias_value":"SXMTAKAJEBRD","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"pith_short_16","alias_value":"SXMTAKAJEBRDXIAU","created_at":"2026-07-05T01:09:17Z"},{"alias_kind":"pith_short_8","alias_value":"SXMTAKAJ","created_at":"2026-07-05T01:09:17Z"}],"graph_snapshots":[{"event_id":"sha256:ab61d4d0ff25512eb6b35c244a83387641dcf83f7e7e664b84c577bb631aa4f9","target":"graph","created_at":"2026-07-05T01:09:17Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2006.05833/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In a deduction system with some propositions and some known relations among these propositions, people usually care about the minimum of propositions by which all other propositions can be deduced according to these known relations. Here we call it a minimizing deduction system. Its common solution is the guess and determine method. In this paper we propose a method of solving the minimizing deduction system based on MILP. Firstly, we introduce the conceptions of state variable, path variable and state copy, which enable us to characterize all rules by inequalities. Then we reduce the deductio","authors_text":"Chunping Cao, Xiutao Feng, Zhangyi Wang, Zhe Cen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-06-10T13:42:16Z","title":"Minimizing Deduction System and its Application"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.05833","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:c27ecba106d13b7fedc79a1847d14b48ccbca829f39a0bedc94cf43301d63be7","target":"record","created_at":"2026-07-05T01:09:17Z","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":"d3bf3b85f39f27e9caf71ca724a556267614d3588491ec490f08e61475ad0c1a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-06-10T13:42:16Z","title_canon_sha256":"0fd5aff0a2d63f3f50dd9f3cb2eb742dc0cd208e2dec0b21b943904f551f1574"},"schema_version":"1.0","source":{"id":"2006.05833","kind":"arxiv","version":1}},"canonical_sha256":"95d930280920623ba014637358c44dc3a8b2ccd469eb7feba0d51bbe2f485817","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95d930280920623ba014637358c44dc3a8b2ccd469eb7feba0d51bbe2f485817","first_computed_at":"2026-07-05T01:09:17.451737Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:09:17.451737Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/EU/8QH+0bcv19NQ0KEtJ7ymSjKX8T7uEhi0/MtTb7ZpQV4uoSqbuT9ZTGAf3fT65f+ZSVoF8+UodUNlNI95Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:09:17.452115Z","signed_message":"canonical_sha256_bytes"},"source_id":"2006.05833","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c27ecba106d13b7fedc79a1847d14b48ccbca829f39a0bedc94cf43301d63be7","sha256:ab61d4d0ff25512eb6b35c244a83387641dcf83f7e7e664b84c577bb631aa4f9"],"state_sha256":"87eb8721725e4f579f638c2137e1142f69ad8680404219f626756592fe3aca19"}