{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:MXEQ2D5AEKW3BKOFVKL337UL35","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":"874e69f3f1fba3a668539306904ee3bf00287e73379827dbc0b28fcabf25c5f4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-27T16:06:27Z","title_canon_sha256":"6b1c872d63b34f245584781c58e256f5e4ed27af9a445868342ef4ced7b65034"},"schema_version":"1.0","source":{"id":"1106.5427","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.5427","created_at":"2026-05-18T04:19:13Z"},{"alias_kind":"arxiv_version","alias_value":"1106.5427v1","created_at":"2026-05-18T04:19:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.5427","created_at":"2026-05-18T04:19:13Z"},{"alias_kind":"pith_short_12","alias_value":"MXEQ2D5AEKW3","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"MXEQ2D5AEKW3BKOF","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"MXEQ2D5A","created_at":"2026-05-18T12:26:37Z"}],"graph_snapshots":[{"event_id":"sha256:ad8a33ffadecc15d32b4f5cb3e07cc6249792c9eb3a6b243782acf69b4518553","target":"graph","created_at":"2026-05-18T04:19:13Z","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":"Search is a major technique for planning. It amounts to exploring a state space of planning domains typically modeled as a directed graph. However, prohibitively large sizes of the search space make search expensive. Developing better heuristic functions has been the main technique for improving search efficiency. Nevertheless, recent studies have shown that improving heuristics alone has certain fundamental limits on improving search efficiency. Recently, a new direction of research called partial order based reduction (POR) has been proposed as an alternative to improving heuristics. POR has","authors_text":"Qiang Lu, Ruoyun Huang, Yixin Chen, You Xu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-27T16:06:27Z","title":"Theory and Algorithms for Partial Order Based Reduction in Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.5427","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:b2a4a5c57015450d2d54ebc0f045ddb2547f3a2fc35829deba604fbb608a339b","target":"record","created_at":"2026-05-18T04:19:13Z","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":"874e69f3f1fba3a668539306904ee3bf00287e73379827dbc0b28fcabf25c5f4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-27T16:06:27Z","title_canon_sha256":"6b1c872d63b34f245584781c58e256f5e4ed27af9a445868342ef4ced7b65034"},"schema_version":"1.0","source":{"id":"1106.5427","kind":"arxiv","version":1}},"canonical_sha256":"65c90d0fa022adb0a9c5aa97bdfe8bdf596e6688647d9968c45e9a8822cd4a1a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65c90d0fa022adb0a9c5aa97bdfe8bdf596e6688647d9968c45e9a8822cd4a1a","first_computed_at":"2026-05-18T04:19:13.653681Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:19:13.653681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3jJbwbmt7DcA3v3AklHONpaLdoU72EC8SX+QzB4SddGzzolJY3Zp5TMg2sBI+9XMiYHbb2FWCjfGi0veABqZDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:19:13.654205Z","signed_message":"canonical_sha256_bytes"},"source_id":"1106.5427","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2a4a5c57015450d2d54ebc0f045ddb2547f3a2fc35829deba604fbb608a339b","sha256:ad8a33ffadecc15d32b4f5cb3e07cc6249792c9eb3a6b243782acf69b4518553"],"state_sha256":"df263a194f35edf84f9764b6a2452e71ca851a5fba659f736111f6a5c98c496e"}