{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:C27NFBWCQWDKYK72QXCNMK4HFJ","short_pith_number":"pith:C27NFBWC","canonical_record":{"source":{"id":"2307.08242","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-07-17T04:54:58Z","cross_cats_sorted":[],"title_canon_sha256":"3598bda6ab014e7cb4becff6c5c5e5da96bfb041a47e0787ffdc310ac50934f7","abstract_canon_sha256":"1539d9cffb0f6bd68a7bc09f2aac475c2256be8eb18fb8b532acf3a9815fc128"},"schema_version":"1.0"},"canonical_sha256":"16bed286c28586ac2bfa85c4d62b872a55bcf5ce6fc43d42f0972c702af18b49","source":{"kind":"arxiv","id":"2307.08242","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.08242","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"arxiv_version","alias_value":"2307.08242v1","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.08242","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"pith_short_12","alias_value":"C27NFBWCQWDK","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"pith_short_16","alias_value":"C27NFBWCQWDKYK72","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"pith_short_8","alias_value":"C27NFBWC","created_at":"2026-07-05T06:31:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:C27NFBWCQWDKYK72QXCNMK4HFJ","target":"record","payload":{"canonical_record":{"source":{"id":"2307.08242","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-07-17T04:54:58Z","cross_cats_sorted":[],"title_canon_sha256":"3598bda6ab014e7cb4becff6c5c5e5da96bfb041a47e0787ffdc310ac50934f7","abstract_canon_sha256":"1539d9cffb0f6bd68a7bc09f2aac475c2256be8eb18fb8b532acf3a9815fc128"},"schema_version":"1.0"},"canonical_sha256":"16bed286c28586ac2bfa85c4d62b872a55bcf5ce6fc43d42f0972c702af18b49","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:31:22.123963Z","signature_b64":"11xVRBTuA5df7m9HegbymN3A61E4FdXLf4N2XqT9SQlwXqLWOpHBJf+SqXSuPmtDIy85bVzDJFCZcIizx1kOBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"16bed286c28586ac2bfa85c4d62b872a55bcf5ce6fc43d42f0972c702af18b49","last_reissued_at":"2026-07-05T06:31:22.123548Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:31:22.123548Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2307.08242","source_version":1,"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-07-05T06:31:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cyhJ7c79h7p4aQhiYZLDP+0dYXaesqkMWv3N04hCp57fOIPVuokhgv+0CuUh6vgPtYSsoAJ2+CbVRC6kHfeiDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T23:13:03.193923Z"},"content_sha256":"fcc4700d11c8995909cbba08a1d2dd4022c6a21d258dfdd6d57709aa7317495e","schema_version":"1.0","event_id":"sha256:fcc4700d11c8995909cbba08a1d2dd4022c6a21d258dfdd6d57709aa7317495e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:C27NFBWCQWDKYK72QXCNMK4HFJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lifted Sequential Planning with Lazy Constraint Generation Solvers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Anubhav Singh, Miquel Ramirez, Nir Lipovetzky, Peter J. Stuckey","submitted_at":"2023-07-17T04:54:58Z","abstract_excerpt":"This paper studies the possibilities made open by the use of Lazy Clause Generation (LCG) based approaches to Constraint Programming (CP) for tackling sequential classical planning. We propose a novel CP model based on seminal ideas on so-called lifted causal encodings for planning as satisfiability, that does not require grounding, as choosing groundings for functions and action schemas becomes an integral part of the problem of designing valid plans. This encoding does not require encoding frame axioms, and does not explicitly represent states as decision variables for every plan step. We al"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.08242","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2307.08242/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:31:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7VnggOcdmUA4rECSa4KXSMexXj6BEhkMi5MuP3Qi1b9TsJKqIKrHdl09+c8WQa5i5YoXIU4ktj9y+0nEv4pfAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T23:13:03.194298Z"},"content_sha256":"6ce18b02a82e1bd0ae8e9fbba74de976fbadc2a866f53c9540f7004f8c7ab8a8","schema_version":"1.0","event_id":"sha256:6ce18b02a82e1bd0ae8e9fbba74de976fbadc2a866f53c9540f7004f8c7ab8a8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C27NFBWCQWDKYK72QXCNMK4HFJ/bundle.json","state_url":"https://pith.science/pith/C27NFBWCQWDKYK72QXCNMK4HFJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C27NFBWCQWDKYK72QXCNMK4HFJ/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-08-05T23:13:03Z","links":{"resolver":"https://pith.science/pith/C27NFBWCQWDKYK72QXCNMK4HFJ","bundle":"https://pith.science/pith/C27NFBWCQWDKYK72QXCNMK4HFJ/bundle.json","state":"https://pith.science/pith/C27NFBWCQWDKYK72QXCNMK4HFJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C27NFBWCQWDKYK72QXCNMK4HFJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:C27NFBWCQWDKYK72QXCNMK4HFJ","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":"1539d9cffb0f6bd68a7bc09f2aac475c2256be8eb18fb8b532acf3a9815fc128","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-07-17T04:54:58Z","title_canon_sha256":"3598bda6ab014e7cb4becff6c5c5e5da96bfb041a47e0787ffdc310ac50934f7"},"schema_version":"1.0","source":{"id":"2307.08242","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.08242","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"arxiv_version","alias_value":"2307.08242v1","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.08242","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"pith_short_12","alias_value":"C27NFBWCQWDK","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"pith_short_16","alias_value":"C27NFBWCQWDKYK72","created_at":"2026-07-05T06:31:22Z"},{"alias_kind":"pith_short_8","alias_value":"C27NFBWC","created_at":"2026-07-05T06:31:22Z"}],"graph_snapshots":[{"event_id":"sha256:6ce18b02a82e1bd0ae8e9fbba74de976fbadc2a866f53c9540f7004f8c7ab8a8","target":"graph","created_at":"2026-07-05T06:31:22Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2307.08242/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper studies the possibilities made open by the use of Lazy Clause Generation (LCG) based approaches to Constraint Programming (CP) for tackling sequential classical planning. We propose a novel CP model based on seminal ideas on so-called lifted causal encodings for planning as satisfiability, that does not require grounding, as choosing groundings for functions and action schemas becomes an integral part of the problem of designing valid plans. This encoding does not require encoding frame axioms, and does not explicitly represent states as decision variables for every plan step. We al","authors_text":"Anubhav Singh, Miquel Ramirez, Nir Lipovetzky, Peter J. Stuckey","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-07-17T04:54:58Z","title":"Lifted Sequential Planning with Lazy Constraint Generation Solvers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.08242","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:fcc4700d11c8995909cbba08a1d2dd4022c6a21d258dfdd6d57709aa7317495e","target":"record","created_at":"2026-07-05T06:31:22Z","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":"1539d9cffb0f6bd68a7bc09f2aac475c2256be8eb18fb8b532acf3a9815fc128","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2023-07-17T04:54:58Z","title_canon_sha256":"3598bda6ab014e7cb4becff6c5c5e5da96bfb041a47e0787ffdc310ac50934f7"},"schema_version":"1.0","source":{"id":"2307.08242","kind":"arxiv","version":1}},"canonical_sha256":"16bed286c28586ac2bfa85c4d62b872a55bcf5ce6fc43d42f0972c702af18b49","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"16bed286c28586ac2bfa85c4d62b872a55bcf5ce6fc43d42f0972c702af18b49","first_computed_at":"2026-07-05T06:31:22.123548Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:31:22.123548Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"11xVRBTuA5df7m9HegbymN3A61E4FdXLf4N2XqT9SQlwXqLWOpHBJf+SqXSuPmtDIy85bVzDJFCZcIizx1kOBg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:31:22.123963Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.08242","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fcc4700d11c8995909cbba08a1d2dd4022c6a21d258dfdd6d57709aa7317495e","sha256:6ce18b02a82e1bd0ae8e9fbba74de976fbadc2a866f53c9540f7004f8c7ab8a8"],"state_sha256":"84ad6bb9ea3f51083021042b88c1eaff2641a0b37b68ea9f82df42aca2cb2744"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PXMsF6nsipq9Z0lDrnOX2ZG2g8DbvidufUMYRnPlylYyZr+/uSk4bm+EZejEdtC+iL5lazw+RkGhWX9VFwRdAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T23:13:03.197280Z","bundle_sha256":"4b01d4511147d92827c149c73bac9aa2d26bf625b75c48d027824dd36b530cef"}}