{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:LL5CLFJXZTFLKWLRG2OWV3OBNM","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":"bd63eea6cb24cb227206e16f02a23225ae1e71e1bc534087b19ac488f2d9f4a4","cross_cats_sorted":["cs.DS","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2011-02-13T15:10:10Z","title_canon_sha256":"10ab1930195fd9f93244c7d05352337d2d73f1f115e29ba64bb96e9674471c9c"},"schema_version":"1.0","source":{"id":"1102.2602","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1102.2602","created_at":"2026-05-18T04:28:46Z"},{"alias_kind":"arxiv_version","alias_value":"1102.2602v1","created_at":"2026-05-18T04:28:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1102.2602","created_at":"2026-05-18T04:28:46Z"},{"alias_kind":"pith_short_12","alias_value":"LL5CLFJXZTFL","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"LL5CLFJXZTFLKWLR","created_at":"2026-05-18T12:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"LL5CLFJX","created_at":"2026-05-18T12:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:6db150c6511a1c1e50b84836c21d0c0a0a9caf7ab539e705e38f2841495b6ef1","target":"graph","created_at":"2026-05-18T04:28:46Z","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":"In this paper, we present a new method for variable elimination in systems of inequations which is much faster than the Fourier-Motzkin Elimination (FME) method. In our method, a linear Diophantine problem is introduced which is dual to our original problem. The new Diophantine system is then solved, and the final result is calculated by finding the dual inequations system. Our new method uses the algorithm Normaliz to find the Hilbert basis of the solution space of the given Diophantine problem. We introduce a problem in the interference channel with multiple nodes and solve it with our new m","authors_text":"Farhad Shirani Chaharsooghi, Mahdi Zamanighomi, Mohammad Javad Emadi, Mohammad Reza Aref","cross_cats":["cs.DS","math.IT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2011-02-13T15:10:10Z","title":"A New Method for Variable Elimination in Systems of Inequations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1102.2602","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:6b078f95709fc5d5ade8d0eeca833b97f04bc567f7607890d83aa221478afac6","target":"record","created_at":"2026-05-18T04:28:46Z","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":"bd63eea6cb24cb227206e16f02a23225ae1e71e1bc534087b19ac488f2d9f4a4","cross_cats_sorted":["cs.DS","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2011-02-13T15:10:10Z","title_canon_sha256":"10ab1930195fd9f93244c7d05352337d2d73f1f115e29ba64bb96e9674471c9c"},"schema_version":"1.0","source":{"id":"1102.2602","kind":"arxiv","version":1}},"canonical_sha256":"5afa259537cccab55971369d6aedc16b045caef3f1e5b6cd683c7da4a3049922","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5afa259537cccab55971369d6aedc16b045caef3f1e5b6cd683c7da4a3049922","first_computed_at":"2026-05-18T04:28:46.976057Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:28:46.976057Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"24mzkx5s5rhcmoeQsLcbSWgjzYk643e+voubyKkClnMgRomOHJjuDC9rmWMNTa46pRenQa+WJ78ITxxa0ds0BA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:28:46.976783Z","signed_message":"canonical_sha256_bytes"},"source_id":"1102.2602","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6b078f95709fc5d5ade8d0eeca833b97f04bc567f7607890d83aa221478afac6","sha256:6db150c6511a1c1e50b84836c21d0c0a0a9caf7ab539e705e38f2841495b6ef1"],"state_sha256":"8a74d822387f67a2ebaf41096798c5a1ec7216064f77dc0a8d46f12972c83363"}