{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TZ32NW27WSOZFEL5HBIFROL6P4","short_pith_number":"pith:TZ32NW27","canonical_record":{"source":{"id":"1803.06775","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-19T01:29:02Z","cross_cats_sorted":["cs.AI","cs.ET","cs.SY"],"title_canon_sha256":"a130d934ded7ec85c1de7b1e05702e441131114cb1b7c4baa9c5dc4e8b2e6c89","abstract_canon_sha256":"bcd3d87fc85e79a3346e964a68aaaed7b1e9c3fc65acb8ade0cd29ae09c91c84"},"schema_version":"1.0"},"canonical_sha256":"9e77a6db5fb49d92917d385058b97e7f087f030d9f012ac2a47c6038734dc887","source":{"kind":"arxiv","id":"1803.06775","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06775","created_at":"2026-05-18T00:20:43Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06775v1","created_at":"2026-05-18T00:20:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06775","created_at":"2026-05-18T00:20:43Z"},{"alias_kind":"pith_short_12","alias_value":"TZ32NW27WSOZ","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TZ32NW27WSOZFEL5","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TZ32NW27","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TZ32NW27WSOZFEL5HBIFROL6P4","target":"record","payload":{"canonical_record":{"source":{"id":"1803.06775","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-19T01:29:02Z","cross_cats_sorted":["cs.AI","cs.ET","cs.SY"],"title_canon_sha256":"a130d934ded7ec85c1de7b1e05702e441131114cb1b7c4baa9c5dc4e8b2e6c89","abstract_canon_sha256":"bcd3d87fc85e79a3346e964a68aaaed7b1e9c3fc65acb8ade0cd29ae09c91c84"},"schema_version":"1.0"},"canonical_sha256":"9e77a6db5fb49d92917d385058b97e7f087f030d9f012ac2a47c6038734dc887","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:43.782836Z","signature_b64":"s95So7tCP2L+R6pUA0RUfene5o4csYeUiJEfiArCfgtnE+m5kHfRHKt49dJ0ic0YIAvuLRdh/1py1gtuzC0PAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e77a6db5fb49d92917d385058b97e7f087f030d9f012ac2a47c6038734dc887","last_reissued_at":"2026-05-18T00:20:43.782142Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:43.782142Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.06775","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-05-18T00:20:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q+HOuGanBin0rTHUDW1Eo9N5FvjXnGIlZNRe9aoIlr4iX86bPXoCTqvtPd5fgqLhiNWyu322qgvHEEaMRwR9Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T06:30:03.111611Z"},"content_sha256":"ab1c1b5818646c6671a25473c5e04ca65c3ac9d7b17694ec1c0dc0c588137cbf","schema_version":"1.0","event_id":"sha256:ab1c1b5818646c6671a25473c5e04ca65c3ac9d7b17694ec1c0dc0c588137cbf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TZ32NW27WSOZFEL5HBIFROL6P4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.ET","cs.SY"],"primary_cat":"quant-ph","authors_text":"Davide Venturelli, Eleanor Rieffel, J. Christopher Beck, Jeremy Frank, Kyle E. C. Booth, Minh Do","submitted_at":"2018-03-19T01:29:02Z","abstract_excerpt":"Recently, the makespan-minimization problem of compiling a general class of quantum algorithms into near-term quantum processors has been introduced to the AI community. The research demonstrated that temporal planning is a strong approach for a class of quantum circuit compilation (QCC) problems. In this paper, we explore the use of constraint programming (CP) as an alternative and complementary approach to temporal planning. We extend previous work by introducing two new problem variations that incorporate important characteristics identified by the quantum computing community. We apply temp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06775","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"},"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-18T00:20:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l7q+PklloXbJMgPmSRlCrQzDyqUhNlRK+WQdtUoGxcYA2FQK5/ikVTp+j5GF//xtcL5nFQ/ldjfZaa9B3vVhDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T06:30:03.111955Z"},"content_sha256":"0ceff5a414e6e49720380182e7d9f861b657c0487b422a8707a30479dad2066f","schema_version":"1.0","event_id":"sha256:0ceff5a414e6e49720380182e7d9f861b657c0487b422a8707a30479dad2066f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TZ32NW27WSOZFEL5HBIFROL6P4/bundle.json","state_url":"https://pith.science/pith/TZ32NW27WSOZFEL5HBIFROL6P4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TZ32NW27WSOZFEL5HBIFROL6P4/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-05T06:30:03Z","links":{"resolver":"https://pith.science/pith/TZ32NW27WSOZFEL5HBIFROL6P4","bundle":"https://pith.science/pith/TZ32NW27WSOZFEL5HBIFROL6P4/bundle.json","state":"https://pith.science/pith/TZ32NW27WSOZFEL5HBIFROL6P4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TZ32NW27WSOZFEL5HBIFROL6P4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TZ32NW27WSOZFEL5HBIFROL6P4","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":"bcd3d87fc85e79a3346e964a68aaaed7b1e9c3fc65acb8ade0cd29ae09c91c84","cross_cats_sorted":["cs.AI","cs.ET","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-19T01:29:02Z","title_canon_sha256":"a130d934ded7ec85c1de7b1e05702e441131114cb1b7c4baa9c5dc4e8b2e6c89"},"schema_version":"1.0","source":{"id":"1803.06775","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06775","created_at":"2026-05-18T00:20:43Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06775v1","created_at":"2026-05-18T00:20:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06775","created_at":"2026-05-18T00:20:43Z"},{"alias_kind":"pith_short_12","alias_value":"TZ32NW27WSOZ","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"TZ32NW27WSOZFEL5","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"TZ32NW27","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:0ceff5a414e6e49720380182e7d9f861b657c0487b422a8707a30479dad2066f","target":"graph","created_at":"2026-05-18T00:20:43Z","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":"Recently, the makespan-minimization problem of compiling a general class of quantum algorithms into near-term quantum processors has been introduced to the AI community. The research demonstrated that temporal planning is a strong approach for a class of quantum circuit compilation (QCC) problems. In this paper, we explore the use of constraint programming (CP) as an alternative and complementary approach to temporal planning. We extend previous work by introducing two new problem variations that incorporate important characteristics identified by the quantum computing community. We apply temp","authors_text":"Davide Venturelli, Eleanor Rieffel, J. Christopher Beck, Jeremy Frank, Kyle E. C. Booth, Minh Do","cross_cats":["cs.AI","cs.ET","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-19T01:29:02Z","title":"Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06775","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:ab1c1b5818646c6671a25473c5e04ca65c3ac9d7b17694ec1c0dc0c588137cbf","target":"record","created_at":"2026-05-18T00:20:43Z","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":"bcd3d87fc85e79a3346e964a68aaaed7b1e9c3fc65acb8ade0cd29ae09c91c84","cross_cats_sorted":["cs.AI","cs.ET","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2018-03-19T01:29:02Z","title_canon_sha256":"a130d934ded7ec85c1de7b1e05702e441131114cb1b7c4baa9c5dc4e8b2e6c89"},"schema_version":"1.0","source":{"id":"1803.06775","kind":"arxiv","version":1}},"canonical_sha256":"9e77a6db5fb49d92917d385058b97e7f087f030d9f012ac2a47c6038734dc887","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e77a6db5fb49d92917d385058b97e7f087f030d9f012ac2a47c6038734dc887","first_computed_at":"2026-05-18T00:20:43.782142Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:43.782142Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s95So7tCP2L+R6pUA0RUfene5o4csYeUiJEfiArCfgtnE+m5kHfRHKt49dJ0ic0YIAvuLRdh/1py1gtuzC0PAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:43.782836Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.06775","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ab1c1b5818646c6671a25473c5e04ca65c3ac9d7b17694ec1c0dc0c588137cbf","sha256:0ceff5a414e6e49720380182e7d9f861b657c0487b422a8707a30479dad2066f"],"state_sha256":"8f3ee02be3078c54a7a61fdd463632deb0d23e20ebeb2e3e686ecef99ad31a34"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lZpTW+7M4edR4Ni9FTIYnDhcOfeZRFr6/H5n9qZ2+puZ31e0tGOEqk6dGv732Rpq3M8BXqiZRxvVlM1a+TCiBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T06:30:03.114257Z","bundle_sha256":"bedc88f26c7f1dc8262a11afdd0f44c072d580d3d53bf740e465632d92b1bd66"}}