{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:P5JIEWONPPHT5YXAT2MFXBVLHH","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":"34a7aa0dc65f6dd090498d95367cb35efce00afaea6d42f5f31b338d6f0cbaee","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-04-26T16:45:11Z","title_canon_sha256":"731ead786811eaf776b99febfc54bbfe03450bb80999af55866fc26a365c1716"},"schema_version":"1.0","source":{"id":"1304.7222","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.7222","created_at":"2026-05-18T03:19:01Z"},{"alias_kind":"arxiv_version","alias_value":"1304.7222v2","created_at":"2026-05-18T03:19:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.7222","created_at":"2026-05-18T03:19:01Z"},{"alias_kind":"pith_short_12","alias_value":"P5JIEWONPPHT","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_16","alias_value":"P5JIEWONPPHT5YXA","created_at":"2026-05-18T12:27:54Z"},{"alias_kind":"pith_short_8","alias_value":"P5JIEWON","created_at":"2026-05-18T12:27:54Z"}],"graph_snapshots":[{"event_id":"sha256:e59976247a97def561dffce0155ff0b31b8fdd5dddb4f68578b5287f42602f04","target":"graph","created_at":"2026-05-18T03:19: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":"Cylindrical algebraic decomposition (CAD) is an important tool for the study of real algebraic geometry with many applications both within mathematics and elsewhere. It is known to have doubly exponential complexity in the number of variables in the worst case, but the actual computation time can vary greatly. It is possible to offer different formulations for a given problem leading to great differences in tractability. In this paper we suggest a new measure for CAD complexity which takes into account the real geometry of the problem. This leads to new heuristics for choosing: the variable or","authors_text":"David Wilson, James H. Davenport, Matthew England, Russell Bradford","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-04-26T16:45:11Z","title":"Optimising Problem Formulation for Cylindrical Algebraic Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.7222","kind":"arxiv","version":2},"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:3b1deac009a94670c08b2f5cb256ea26f14fa00bddf709759c5730e6d39af2bb","target":"record","created_at":"2026-05-18T03:19: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":"34a7aa0dc65f6dd090498d95367cb35efce00afaea6d42f5f31b338d6f0cbaee","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2013-04-26T16:45:11Z","title_canon_sha256":"731ead786811eaf776b99febfc54bbfe03450bb80999af55866fc26a365c1716"},"schema_version":"1.0","source":{"id":"1304.7222","kind":"arxiv","version":2}},"canonical_sha256":"7f528259cd7bcf3ee2e09e985b86ab39dc6eaa23e1adf0add5486dbb07622c80","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7f528259cd7bcf3ee2e09e985b86ab39dc6eaa23e1adf0add5486dbb07622c80","first_computed_at":"2026-05-18T03:19:01.122572Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:19:01.122572Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uFNEVNApotTY3+SR0HZzCw+zSuiaQi4Z0swGP4YHuDvDaXshEYCWQKNtUqWistOa8daZqf0SHHLuCDkF4o3qBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:19:01.123147Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.7222","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b1deac009a94670c08b2f5cb256ea26f14fa00bddf709759c5730e6d39af2bb","sha256:e59976247a97def561dffce0155ff0b31b8fdd5dddb4f68578b5287f42602f04"],"state_sha256":"c148832a1fe0f86654dd43552c3fa76a874d0e459cd66795294ab8819cf08421"}