{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:GA3S5PG6QB7A42FHGHPS5VLMPG","short_pith_number":"pith:GA3S5PG6","canonical_record":{"source":{"id":"1405.7253","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-05-28T14:23:50Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bdf58e05750eb03cc9151a5e52b5650030aec26c8febe30e50665b39cfe335e6","abstract_canon_sha256":"0ae89ca98b0dbade303d35f8f084e2b5b22d08c38ac5f0ad83a1244fdfbd1551"},"schema_version":"1.0"},"canonical_sha256":"30372ebcde807e0e68a731df2ed56c79a710b56001271a6bdeeb425cc47be918","source":{"kind":"arxiv","id":"1405.7253","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.7253","created_at":"2026-05-18T01:17:53Z"},{"alias_kind":"arxiv_version","alias_value":"1405.7253v3","created_at":"2026-05-18T01:17:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.7253","created_at":"2026-05-18T01:17:53Z"},{"alias_kind":"pith_short_12","alias_value":"GA3S5PG6QB7A","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"GA3S5PG6QB7A42FH","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"GA3S5PG6","created_at":"2026-05-18T12:28:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:GA3S5PG6QB7A42FHGHPS5VLMPG","target":"record","payload":{"canonical_record":{"source":{"id":"1405.7253","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-05-28T14:23:50Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bdf58e05750eb03cc9151a5e52b5650030aec26c8febe30e50665b39cfe335e6","abstract_canon_sha256":"0ae89ca98b0dbade303d35f8f084e2b5b22d08c38ac5f0ad83a1244fdfbd1551"},"schema_version":"1.0"},"canonical_sha256":"30372ebcde807e0e68a731df2ed56c79a710b56001271a6bdeeb425cc47be918","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:53.358482Z","signature_b64":"61ZLfj9ar/rhjghB8qqBl+8mZP3kRKD0Lb/1smZWMjHalKfVlEmZazmW9bd88g2u6hHO4J1IBHlpgsHqbYPHAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30372ebcde807e0e68a731df2ed56c79a710b56001271a6bdeeb425cc47be918","last_reissued_at":"2026-05-18T01:17:53.357839Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:53.357839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.7253","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:17:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OvFm6rIER808FgOKhgDt3OU1z+rrFa0+TWzHGjcgGSyQ8Lp4qVQyrQ4ayYw8izapLtfk6U7bLqzQrLRWQFZmCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T17:52:16.482873Z"},"content_sha256":"bcdb3c6131e63b26600e403e0ddf433efcefaff4575c62fb6d3e78aaf82d7ddf","schema_version":"1.0","event_id":"sha256:bcdb3c6131e63b26600e403e0ddf433efcefaff4575c62fb6d3e78aaf82d7ddf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:GA3S5PG6QB7A42FHGHPS5VLMPG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conformant Planning as a Case Study of Incremental QBF Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LO","authors_text":"Andreas Pfandler, Florian Lonsing, Martin Kronegger, Uwe Egly","submitted_at":"2014-05-28T14:23:50Z","abstract_excerpt":"We consider planning with uncertainty in the initial state as a case study of incremental quantified Boolean formula (QBF) solving. We report on experiments with a workflow to incrementally encode a planning instance into a sequence of QBFs. To solve this sequence of incrementally constructed QBFs, we use our general-purpose incremental QBF solver DepQBF. Since the generated QBFs have many clauses and variables in common, our approach avoids redundancy both in the encoding phase and in the solving phase. Experimental results show that incremental QBF solving outperforms non-incremental QBF sol"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.7253","kind":"arxiv","version":3},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:17:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4sLu17rZJZRdRU6TA6B8MIfMUwOHqViw9vuJGveHHQtiFyjlIncD/8p0c9t22rtcIqzTTMI//hhJPdwhu0C6CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T17:52:16.483221Z"},"content_sha256":"7ec5900b8af1d238f93d6ad62925441f9a79d9100a6ae9e9a79e39225d0b3a42","schema_version":"1.0","event_id":"sha256:7ec5900b8af1d238f93d6ad62925441f9a79d9100a6ae9e9a79e39225d0b3a42"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GA3S5PG6QB7A42FHGHPS5VLMPG/bundle.json","state_url":"https://pith.science/pith/GA3S5PG6QB7A42FHGHPS5VLMPG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GA3S5PG6QB7A42FHGHPS5VLMPG/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-05T17:52:16Z","links":{"resolver":"https://pith.science/pith/GA3S5PG6QB7A42FHGHPS5VLMPG","bundle":"https://pith.science/pith/GA3S5PG6QB7A42FHGHPS5VLMPG/bundle.json","state":"https://pith.science/pith/GA3S5PG6QB7A42FHGHPS5VLMPG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GA3S5PG6QB7A42FHGHPS5VLMPG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:GA3S5PG6QB7A42FHGHPS5VLMPG","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":"0ae89ca98b0dbade303d35f8f084e2b5b22d08c38ac5f0ad83a1244fdfbd1551","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-05-28T14:23:50Z","title_canon_sha256":"bdf58e05750eb03cc9151a5e52b5650030aec26c8febe30e50665b39cfe335e6"},"schema_version":"1.0","source":{"id":"1405.7253","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.7253","created_at":"2026-05-18T01:17:53Z"},{"alias_kind":"arxiv_version","alias_value":"1405.7253v3","created_at":"2026-05-18T01:17:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.7253","created_at":"2026-05-18T01:17:53Z"},{"alias_kind":"pith_short_12","alias_value":"GA3S5PG6QB7A","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"GA3S5PG6QB7A42FH","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"GA3S5PG6","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:7ec5900b8af1d238f93d6ad62925441f9a79d9100a6ae9e9a79e39225d0b3a42","target":"graph","created_at":"2026-05-18T01:17:53Z","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":"We consider planning with uncertainty in the initial state as a case study of incremental quantified Boolean formula (QBF) solving. We report on experiments with a workflow to incrementally encode a planning instance into a sequence of QBFs. To solve this sequence of incrementally constructed QBFs, we use our general-purpose incremental QBF solver DepQBF. Since the generated QBFs have many clauses and variables in common, our approach avoids redundancy both in the encoding phase and in the solving phase. Experimental results show that incremental QBF solving outperforms non-incremental QBF sol","authors_text":"Andreas Pfandler, Florian Lonsing, Martin Kronegger, Uwe Egly","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-05-28T14:23:50Z","title":"Conformant Planning as a Case Study of Incremental QBF Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.7253","kind":"arxiv","version":3},"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:bcdb3c6131e63b26600e403e0ddf433efcefaff4575c62fb6d3e78aaf82d7ddf","target":"record","created_at":"2026-05-18T01:17:53Z","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":"0ae89ca98b0dbade303d35f8f084e2b5b22d08c38ac5f0ad83a1244fdfbd1551","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-05-28T14:23:50Z","title_canon_sha256":"bdf58e05750eb03cc9151a5e52b5650030aec26c8febe30e50665b39cfe335e6"},"schema_version":"1.0","source":{"id":"1405.7253","kind":"arxiv","version":3}},"canonical_sha256":"30372ebcde807e0e68a731df2ed56c79a710b56001271a6bdeeb425cc47be918","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30372ebcde807e0e68a731df2ed56c79a710b56001271a6bdeeb425cc47be918","first_computed_at":"2026-05-18T01:17:53.357839Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:53.357839Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"61ZLfj9ar/rhjghB8qqBl+8mZP3kRKD0Lb/1smZWMjHalKfVlEmZazmW9bd88g2u6hHO4J1IBHlpgsHqbYPHAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:53.358482Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.7253","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bcdb3c6131e63b26600e403e0ddf433efcefaff4575c62fb6d3e78aaf82d7ddf","sha256:7ec5900b8af1d238f93d6ad62925441f9a79d9100a6ae9e9a79e39225d0b3a42"],"state_sha256":"d11d0f0eaa36c2eb757d7dc7db53d95846ea3374c8148e1f68403b1b0902d700"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KwBaBWgGVFpEd0LdBGRM1IIIeU42wgsEbyKZffSLNo7SsWdIcIajBSIvrZEStB8YQdMpVo337g24UNL6AI2TBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T17:52:16.486141Z","bundle_sha256":"3333db82a463ab7d7e94aa8574c2b6d812939be48a21f7d16bdf1c09bd81255b"}}