{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:RB4YGIZHV75QOXUTNZ6HCNQEBK","short_pith_number":"pith:RB4YGIZH","canonical_record":{"source":{"id":"2303.09632","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CG","submitted_at":"2023-03-16T20:21:48Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"3ac499e21500c4959e459b1c983cdcddde56d821e8078cf43e9021405f0d5d73","abstract_canon_sha256":"6cf50c02dd213014a4d924d22d4c1241ae925892645ecb20d35a70e6ee2f56a3"},"schema_version":"1.0"},"canonical_sha256":"8879832327affb075e936e7c7136040aabf4384d5dccdb5fbec10faa2c7f48d1","source":{"kind":"arxiv","id":"2303.09632","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.09632","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"arxiv_version","alias_value":"2303.09632v2","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.09632","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_12","alias_value":"RB4YGIZHV75Q","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_16","alias_value":"RB4YGIZHV75QOXUT","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_8","alias_value":"RB4YGIZH","created_at":"2026-07-05T05:54:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:RB4YGIZHV75QOXUTNZ6HCNQEBK","target":"record","payload":{"canonical_record":{"source":{"id":"2303.09632","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CG","submitted_at":"2023-03-16T20:21:48Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"3ac499e21500c4959e459b1c983cdcddde56d821e8078cf43e9021405f0d5d73","abstract_canon_sha256":"6cf50c02dd213014a4d924d22d4c1241ae925892645ecb20d35a70e6ee2f56a3"},"schema_version":"1.0"},"canonical_sha256":"8879832327affb075e936e7c7136040aabf4384d5dccdb5fbec10faa2c7f48d1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:54:36.684021Z","signature_b64":"Y27meH6UnYRiDSyGPrOxUz1fJE7t2Cwsof4XrtwKeb+vDCtxNZPhqJvUymRtWGWKvvUK/eJ90T2vhcTMgS4xCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8879832327affb075e936e7c7136040aabf4384d5dccdb5fbec10faa2c7f48d1","last_reissued_at":"2026-07-05T05:54:36.683435Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:54:36.683435Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.09632","source_version":2,"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-05T05:54:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fSxtm4zZ9457ElTdJ+A2P5/+FKLEH8hhGKYxtUeFJyH7+AxgDE18tsdSDKLWaecN2uyCxItnEkbEyAG/gxTKDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:55:06.615489Z"},"content_sha256":"c1364e52706f1cf8cfcc85f182e21e70f2d860650723d7fedf7617f6a6594633","schema_version":"1.0","event_id":"sha256:c1364e52706f1cf8cfcc85f182e21e70f2d860650723d7fedf7617f6a6594633"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:RB4YGIZHV75QOXUTNZ6HCNQEBK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.CG","authors_text":"Aldo Gonzalez-Lorenzo, Benjamin Mom\\`ege, Brandon Zhang, Da Wei Zheng, Florian Fontan, Guilherme D. da Fonseca, Jack Spalding-Jamieson, Lo\\\"ic Crombez, Luc Libralesso, Pascal Lafourcade, Yan Gerard","submitted_at":"2023-03-16T20:21:48Z","abstract_excerpt":"CG:SHOP is an annual geometric optimization challenge and the 2022 edition proposed the problem of coloring a certain geometric graph defined by line segments. Surprisingly, the top three teams used the same technique, called conflict optimization. This technique has been introduced in the 2021 edition of the challenge, to solve a coordinated motion planning problem. In this paper, we present the technique in the more general framework of binary constraint satisfaction problems (binary CSP). Then, the top three teams describe their different implementations of the same underlying strategy. We "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.09632","kind":"arxiv","version":2},"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/2303.09632/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-05T05:54:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p6Lr5hRk5Wh08aAT5I4TUd7n0+LD5EYtzhMgiBe/RDv5ToXoRndSkPtn3Gzc7AgcyQs1rpw8LL47Z7RaJnkzDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:55:06.616158Z"},"content_sha256":"0df84a041e444191707232449b2ef40752420cc5ac9435d5a694a043c9655601","schema_version":"1.0","event_id":"sha256:0df84a041e444191707232449b2ef40752420cc5ac9435d5a694a043c9655601"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RB4YGIZHV75QOXUTNZ6HCNQEBK/bundle.json","state_url":"https://pith.science/pith/RB4YGIZHV75QOXUTNZ6HCNQEBK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RB4YGIZHV75QOXUTNZ6HCNQEBK/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-07-07T04:55:06Z","links":{"resolver":"https://pith.science/pith/RB4YGIZHV75QOXUTNZ6HCNQEBK","bundle":"https://pith.science/pith/RB4YGIZHV75QOXUTNZ6HCNQEBK/bundle.json","state":"https://pith.science/pith/RB4YGIZHV75QOXUTNZ6HCNQEBK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RB4YGIZHV75QOXUTNZ6HCNQEBK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:RB4YGIZHV75QOXUTNZ6HCNQEBK","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":"6cf50c02dd213014a4d924d22d4c1241ae925892645ecb20d35a70e6ee2f56a3","cross_cats_sorted":["cs.DS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CG","submitted_at":"2023-03-16T20:21:48Z","title_canon_sha256":"3ac499e21500c4959e459b1c983cdcddde56d821e8078cf43e9021405f0d5d73"},"schema_version":"1.0","source":{"id":"2303.09632","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.09632","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"arxiv_version","alias_value":"2303.09632v2","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.09632","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_12","alias_value":"RB4YGIZHV75Q","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_16","alias_value":"RB4YGIZHV75QOXUT","created_at":"2026-07-05T05:54:36Z"},{"alias_kind":"pith_short_8","alias_value":"RB4YGIZH","created_at":"2026-07-05T05:54:36Z"}],"graph_snapshots":[{"event_id":"sha256:0df84a041e444191707232449b2ef40752420cc5ac9435d5a694a043c9655601","target":"graph","created_at":"2026-07-05T05:54:36Z","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/2303.09632/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"CG:SHOP is an annual geometric optimization challenge and the 2022 edition proposed the problem of coloring a certain geometric graph defined by line segments. Surprisingly, the top three teams used the same technique, called conflict optimization. This technique has been introduced in the 2021 edition of the challenge, to solve a coordinated motion planning problem. In this paper, we present the technique in the more general framework of binary constraint satisfaction problems (binary CSP). Then, the top three teams describe their different implementations of the same underlying strategy. We ","authors_text":"Aldo Gonzalez-Lorenzo, Benjamin Mom\\`ege, Brandon Zhang, Da Wei Zheng, Florian Fontan, Guilherme D. da Fonseca, Jack Spalding-Jamieson, Lo\\\"ic Crombez, Luc Libralesso, Pascal Lafourcade, Yan Gerard","cross_cats":["cs.DS"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CG","submitted_at":"2023-03-16T20:21:48Z","title":"Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.09632","kind":"arxiv","version":2},"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:c1364e52706f1cf8cfcc85f182e21e70f2d860650723d7fedf7617f6a6594633","target":"record","created_at":"2026-07-05T05:54:36Z","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":"6cf50c02dd213014a4d924d22d4c1241ae925892645ecb20d35a70e6ee2f56a3","cross_cats_sorted":["cs.DS"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CG","submitted_at":"2023-03-16T20:21:48Z","title_canon_sha256":"3ac499e21500c4959e459b1c983cdcddde56d821e8078cf43e9021405f0d5d73"},"schema_version":"1.0","source":{"id":"2303.09632","kind":"arxiv","version":2}},"canonical_sha256":"8879832327affb075e936e7c7136040aabf4384d5dccdb5fbec10faa2c7f48d1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8879832327affb075e936e7c7136040aabf4384d5dccdb5fbec10faa2c7f48d1","first_computed_at":"2026-07-05T05:54:36.683435Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:54:36.683435Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Y27meH6UnYRiDSyGPrOxUz1fJE7t2Cwsof4XrtwKeb+vDCtxNZPhqJvUymRtWGWKvvUK/eJ90T2vhcTMgS4xCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:54:36.684021Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.09632","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c1364e52706f1cf8cfcc85f182e21e70f2d860650723d7fedf7617f6a6594633","sha256:0df84a041e444191707232449b2ef40752420cc5ac9435d5a694a043c9655601"],"state_sha256":"9cc1409185511760b889e739fecaf3f13cd42d1d8bb3e0588f9f70b3828f1d9c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Gg2Tr3af892oshpFi/UuFUq7RWTfx2psfh+puu6hN8YAC2GcVD0Ek4xnR/K1qciqdU+aYgSFIGm+Xb8uxG+Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T04:55:06.619415Z","bundle_sha256":"b2c6280b75c310f657d2bb59e2dedda2030cd62f6e4f45419fe9f4651572022b"}}