{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:YMIEVU6LH45DIZZ32O3VLNO3SD","short_pith_number":"pith:YMIEVU6L","schema_version":"1.0","canonical_sha256":"c3104ad3cb3f3a34673bd3b755b5db90e0dcfae0e1bcc6794c99ae015f6c3406","source":{"kind":"arxiv","id":"2405.12836","version":2},"attestation_state":"computed","paper":{"title":"Aircraft Conflict Resolution: A Benchmark Generator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Martina Cerulli, Mercedes Pelegrin","submitted_at":"2024-05-21T14:39:39Z","abstract_excerpt":"Aircraft conflict resolution is one of the major tasks of computer-aided air traffic management and represents a challenging optimization problem. Many models and methods have been proposed to assist trajectory regulation to avoid conflicts. However, the question of testing the different mathematical optimization approaches against each other is still open. Standard benchmarks include unrealistic scenarios in which all the flights move toward a common point or completely random generated instances. There is a lack of a common set of test instances that allows comparison of the available method"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2405.12836","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-05-21T14:39:39Z","cross_cats_sorted":[],"title_canon_sha256":"ac04188dfc2f5f46c6ff83ba5e90894782774b650257d1a07c7cedfd79a13a63","abstract_canon_sha256":"86938f4eff364c54a53b414297fdcfb5c45b3bff0bc694a35105e65d39202ff0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:18:58.584566Z","signature_b64":"+oLxUbFKOrJJmXnVMC8cTmFFdeM+NxLiYwQDPB4llHw7j1mfseuQFbnxpis6QXggrJUysYQ/ZZ7SO1l5Q+eJAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3104ad3cb3f3a34673bd3b755b5db90e0dcfae0e1bcc6794c99ae015f6c3406","last_reissued_at":"2026-07-05T11:18:58.584036Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:18:58.584036Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Aircraft Conflict Resolution: A Benchmark Generator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Martina Cerulli, Mercedes Pelegrin","submitted_at":"2024-05-21T14:39:39Z","abstract_excerpt":"Aircraft conflict resolution is one of the major tasks of computer-aided air traffic management and represents a challenging optimization problem. Many models and methods have been proposed to assist trajectory regulation to avoid conflicts. However, the question of testing the different mathematical optimization approaches against each other is still open. Standard benchmarks include unrealistic scenarios in which all the flights move toward a common point or completely random generated instances. There is a lack of a common set of test instances that allows comparison of the available method"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.12836","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/2405.12836/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2405.12836","created_at":"2026-07-05T11:18:58.584104+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.12836v2","created_at":"2026-07-05T11:18:58.584104+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.12836","created_at":"2026-07-05T11:18:58.584104+00:00"},{"alias_kind":"pith_short_12","alias_value":"YMIEVU6LH45D","created_at":"2026-07-05T11:18:58.584104+00:00"},{"alias_kind":"pith_short_16","alias_value":"YMIEVU6LH45DIZZ3","created_at":"2026-07-05T11:18:58.584104+00:00"},{"alias_kind":"pith_short_8","alias_value":"YMIEVU6L","created_at":"2026-07-05T11:18:58.584104+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD","json":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD.json","graph_json":"https://pith.science/api/pith-number/YMIEVU6LH45DIZZ32O3VLNO3SD/graph.json","events_json":"https://pith.science/api/pith-number/YMIEVU6LH45DIZZ32O3VLNO3SD/events.json","paper":"https://pith.science/paper/YMIEVU6L"},"agent_actions":{"view_html":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD","download_json":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD.json","view_paper":"https://pith.science/paper/YMIEVU6L","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.12836&json=true","fetch_graph":"https://pith.science/api/pith-number/YMIEVU6LH45DIZZ32O3VLNO3SD/graph.json","fetch_events":"https://pith.science/api/pith-number/YMIEVU6LH45DIZZ32O3VLNO3SD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/action/storage_attestation","attest_author":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/action/author_attestation","sign_citation":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/action/citation_signature","submit_replication":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/action/replication_record"}},"created_at":"2026-07-05T11:18:58.584104+00:00","updated_at":"2026-07-05T11:18:58.584104+00:00"}