{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GVFPPXMCYTZGL3HZGPL35WUSKF","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":"ca06a7688b67a40a800a619d06fc7dde0d871014e46ec6cd2140817cdafa5397","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-23T13:48:35Z","title_canon_sha256":"487b4e6eb8ee605e707b813bdb1e96bcc91c9554bc41623505b8af231107bd17"},"schema_version":"1.0","source":{"id":"1701.06388","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.06388","created_at":"2026-05-18T00:52:18Z"},{"alias_kind":"arxiv_version","alias_value":"1701.06388v1","created_at":"2026-05-18T00:52:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.06388","created_at":"2026-05-18T00:52:18Z"},{"alias_kind":"pith_short_12","alias_value":"GVFPPXMCYTZG","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GVFPPXMCYTZGL3HZ","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GVFPPXMC","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:fa4f20d56a042c411d370289e2f962c3475063b72e40494c0034ed8de80fe22f","target":"graph","created_at":"2026-05-18T00:52:18Z","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":"The payload of communications satellites must go through a series of tests to assert their ability to survive in space. Each test involves some equipment of the payload to be active, which has an impact on the temperature of the payload. Sequencing these tests in a way that ensures the thermal stability of the payload and minimizes the overall duration of the test campaign is a very important objective for satellite manufacturers. The problem can be decomposed in two sub-problems corresponding to two objectives: First, the number of distinct configurations necessary to run the tests must be mi","authors_text":"Bertrand Cabon, Daniel Veysseire (LAAS-ROC), Emmanuel H\\'ebrard (LAAS-ROC), Ludivine Sauvan (LAAS-ROC), Marie-Jos\\'e Huguet (LAAS-ROC)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-23T13:48:35Z","title":"Constraint programming for planning test campaigns of communications satellites"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.06388","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:79bb7c16046992afae06fd0f9b50cc5f34a5cc9014cd9eb4cc378c40b216e308","target":"record","created_at":"2026-05-18T00:52:18Z","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":"ca06a7688b67a40a800a619d06fc7dde0d871014e46ec6cd2140817cdafa5397","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-01-23T13:48:35Z","title_canon_sha256":"487b4e6eb8ee605e707b813bdb1e96bcc91c9554bc41623505b8af231107bd17"},"schema_version":"1.0","source":{"id":"1701.06388","kind":"arxiv","version":1}},"canonical_sha256":"354af7dd82c4f265ecf933d7beda92514e1069f855926f7bc635cc856a24f283","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"354af7dd82c4f265ecf933d7beda92514e1069f855926f7bc635cc856a24f283","first_computed_at":"2026-05-18T00:52:18.557841Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:18.557841Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BarOuxrOSwyPDAuEbiFEkYfha/QZhSJ5sNYNJ9eeJGJD/+3WX0Vdzwe9RUUBxRhiOiTjw7YfCpan4MnfMToMCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:18.558399Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.06388","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79bb7c16046992afae06fd0f9b50cc5f34a5cc9014cd9eb4cc378c40b216e308","sha256:fa4f20d56a042c411d370289e2f962c3475063b72e40494c0034ed8de80fe22f"],"state_sha256":"a14aa54a4029f16b37b78fdd46d09332a2f8297d3e2d2ca624144a56dbe85aef"}