{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:MW5FXG56VWBIQLX5NBNIRRU2ZX","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":"fed3c5c207c1e456491bb809b9b0fb7fa4ebbf51ae08458dd3f5c8cd26b74311","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-25T13:51:04Z","title_canon_sha256":"a2ae25d4b0bfacaa50b54981abaa3a91c0c2ea725360f63cbe652d63ebf1d2fd"},"schema_version":"1.0","source":{"id":"1806.09455","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.09455","created_at":"2026-05-18T00:12:27Z"},{"alias_kind":"arxiv_version","alias_value":"1806.09455v1","created_at":"2026-05-18T00:12:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.09455","created_at":"2026-05-18T00:12:27Z"},{"alias_kind":"pith_short_12","alias_value":"MW5FXG56VWBI","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"MW5FXG56VWBIQLX5","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"MW5FXG56","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:14a17b23b8611071961bb12439e367649213b91fe9daadb0539ae1e82594dd17","target":"graph","created_at":"2026-05-18T00:12:27Z","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":"Fully observable non-deterministic (FOND) planning is becoming increasingly important as an approach for computing proper policies in probabilistic planning, extended temporal plans in LTL planning, and general plans in generalized planning. In this work, we introduce a SAT encoding for FOND planning that is compact and can produce compact strong cyclic policies. Simple variations of the encodings are also introduced for strong planning and for what we call, dual FOND planning, where some non-deterministic actions are assumed to be fair (e.g., probabilistic) and others unfair (e.g., adversaria","authors_text":"Hector Geffner, Tomas Geffner","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-25T13:51:04Z","title":"Compact Policies for Fully-Observable Non-Deterministic Planning as SAT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.09455","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:57a6aee425d469a52322db8db06090ef0d5db6c0d7fefce1a2d3c8c765cbe3e3","target":"record","created_at":"2026-05-18T00:12:27Z","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":"fed3c5c207c1e456491bb809b9b0fb7fa4ebbf51ae08458dd3f5c8cd26b74311","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-25T13:51:04Z","title_canon_sha256":"a2ae25d4b0bfacaa50b54981abaa3a91c0c2ea725360f63cbe652d63ebf1d2fd"},"schema_version":"1.0","source":{"id":"1806.09455","kind":"arxiv","version":1}},"canonical_sha256":"65ba5b9bbead82882efd685a88c69acdc5cf29a1f7b611792d6d53e1acae4acc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65ba5b9bbead82882efd685a88c69acdc5cf29a1f7b611792d6d53e1acae4acc","first_computed_at":"2026-05-18T00:12:27.221379Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:27.221379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tcUMGyc93rRtxu/lEMxGitO65hfHXTJipmLBY4pSbdmhs2C+MS9DpVZuCsLg+aRXuSah1gv3CwQXBYvGkOshBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:27.222038Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.09455","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:57a6aee425d469a52322db8db06090ef0d5db6c0d7fefce1a2d3c8c765cbe3e3","sha256:14a17b23b8611071961bb12439e367649213b91fe9daadb0539ae1e82594dd17"],"state_sha256":"1a93417477e6d665d7a103168a87be77d2ad3cfa9b2ea77b847083ed56828901"}