{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:NHEWSGVI6LFZ2KJGG2U4UWSPE4","short_pith_number":"pith:NHEWSGVI","schema_version":"1.0","canonical_sha256":"69c9691aa8f2cb9d292636a9ca5a4f2705730d7ef465eb0cfe118b2885f73c70","source":{"kind":"arxiv","id":"1106.5256","version":1},"attestation_state":"computed","paper":{"title":"Structure and Complexity in Planning with Unary Operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"C. Domshlak, R. I. Brafman","submitted_at":"2011-06-26T21:01:50Z","abstract_excerpt":"Unary operator domains -- i.e., domains in which operators have a single effect -- arise naturally in many control problems. In its most general form, the problem of STRIPS planning in unary operator domains is known to be as hard as the general STRIPS planning problem -- both are PSPACE-complete. However, unary operator domains induce a natural structure, called the domain's causal graph. This graph relates between the preconditions and effect of each domain operator. Causal graphs were exploited by Williams and Nayak in order to analyze plan generation for one of the controllers in NASA's De"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1106.5256","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-06-26T21:01:50Z","cross_cats_sorted":[],"title_canon_sha256":"d1150bbe2aec7b363d1b2f835e367b177ec103f5f260e210c00f3b5042292c44","abstract_canon_sha256":"345efe6a745764531a6b42cc1a103f2008bf84631153adff3499771e89ab9bef"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:19:14.011680Z","signature_b64":"Hbe2Ubx2rSxNgmaJDu+AkK+bDMWI5Pap6llstIz4jz2SuETyY3+lQmPN/aqkhp2uUQG2Gfdo13yzF8HNlBgIBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"69c9691aa8f2cb9d292636a9ca5a4f2705730d7ef465eb0cfe118b2885f73c70","last_reissued_at":"2026-05-18T04:19:14.010991Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:19:14.010991Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Structure and Complexity in Planning with Unary Operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"C. Domshlak, R. I. Brafman","submitted_at":"2011-06-26T21:01:50Z","abstract_excerpt":"Unary operator domains -- i.e., domains in which operators have a single effect -- arise naturally in many control problems. In its most general form, the problem of STRIPS planning in unary operator domains is known to be as hard as the general STRIPS planning problem -- both are PSPACE-complete. However, unary operator domains induce a natural structure, called the domain's causal graph. This graph relates between the preconditions and effect of each domain operator. Causal graphs were exploited by Williams and Nayak in order to analyze plan generation for one of the controllers in NASA's De"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.5256","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1106.5256","created_at":"2026-05-18T04:19:14.011088+00:00"},{"alias_kind":"arxiv_version","alias_value":"1106.5256v1","created_at":"2026-05-18T04:19:14.011088+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.5256","created_at":"2026-05-18T04:19:14.011088+00:00"},{"alias_kind":"pith_short_12","alias_value":"NHEWSGVI6LFZ","created_at":"2026-05-18T12:26:37.096874+00:00"},{"alias_kind":"pith_short_16","alias_value":"NHEWSGVI6LFZ2KJG","created_at":"2026-05-18T12:26:37.096874+00:00"},{"alias_kind":"pith_short_8","alias_value":"NHEWSGVI","created_at":"2026-05-18T12:26:37.096874+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NHEWSGVI6LFZ2KJGG2U4UWSPE4","json":"https://pith.science/pith/NHEWSGVI6LFZ2KJGG2U4UWSPE4.json","graph_json":"https://pith.science/api/pith-number/NHEWSGVI6LFZ2KJGG2U4UWSPE4/graph.json","events_json":"https://pith.science/api/pith-number/NHEWSGVI6LFZ2KJGG2U4UWSPE4/events.json","paper":"https://pith.science/paper/NHEWSGVI"},"agent_actions":{"view_html":"https://pith.science/pith/NHEWSGVI6LFZ2KJGG2U4UWSPE4","download_json":"https://pith.science/pith/NHEWSGVI6LFZ2KJGG2U4UWSPE4.json","view_paper":"https://pith.science/paper/NHEWSGVI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1106.5256&json=true","fetch_graph":"https://pith.science/api/pith-number/NHEWSGVI6LFZ2KJGG2U4UWSPE4/graph.json","fetch_events":"https://pith.science/api/pith-number/NHEWSGVI6LFZ2KJGG2U4UWSPE4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NHEWSGVI6LFZ2KJGG2U4UWSPE4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NHEWSGVI6LFZ2KJGG2U4UWSPE4/action/storage_attestation","attest_author":"https://pith.science/pith/NHEWSGVI6LFZ2KJGG2U4UWSPE4/action/author_attestation","sign_citation":"https://pith.science/pith/NHEWSGVI6LFZ2KJGG2U4UWSPE4/action/citation_signature","submit_replication":"https://pith.science/pith/NHEWSGVI6LFZ2KJGG2U4UWSPE4/action/replication_record"}},"created_at":"2026-05-18T04:19:14.011088+00:00","updated_at":"2026-05-18T04:19:14.011088+00:00"}