{"id":"https://openalex.org/W4411278163","doi":"https://doi.org/10.1145/3732772.3733535","title":"Brief Announcement: New Distributed Interactive Proofs for Planarity: A Matter of Left and Right","display_name":"Brief Announcement: New Distributed Interactive Proofs for Planarity: A Matter of Left and Right","publication_year":2025,"publication_date":"2025-06-13","ids":{"openalex":"https://openalex.org/W4411278163","doi":"https://doi.org/10.1145/3732772.3733535"},"language":"en","primary_location":{"id":"doi:10.1145/3732772.3733535","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732772.3733535","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733535","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733535","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018351370","display_name":"Yuval Gil","orcid":"https://orcid.org/0009-0007-7762-3029"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yuval Gil","raw_affiliation_strings":["Weizmann Institute of Science, Rehovot, Israel"],"raw_orcid":"https://orcid.org/0009-0007-7762-3029","affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022875077","display_name":"Merav Parter","orcid":"https://orcid.org/0000-0002-2357-2445"},"institutions":[{"id":"https://openalex.org/I53964585","display_name":"Weizmann Institute of Science","ror":"https://ror.org/0316ej306","country_code":"IL","type":"education","lineage":["https://openalex.org/I53964585"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Merav Parter","raw_affiliation_strings":["Weizmann Institute of Science, Rehovot, Israel"],"raw_orcid":"https://orcid.org/0000-0002-2357-2445","affiliations":[{"raw_affiliation_string":"Weizmann Institute of Science, Rehovot, Israel","institution_ids":["https://openalex.org/I53964585"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I53964585"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18022938,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"375","last_page":"378"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/planarity-testing","display_name":"Planarity testing","score":0.8516772389411926},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7329839468002319},{"id":"https://openalex.org/keywords/left-and-right","display_name":"Left and right","score":0.6464364528656006},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5717936754226685},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24579522013664246},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.19609320163726807},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.17840084433555603},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09781378507614136}],"concepts":[{"id":"https://openalex.org/C68260962","wikidata":"https://www.wikidata.org/wiki/Q7200967","display_name":"Planarity testing","level":2,"score":0.8516772389411926},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7329839468002319},{"id":"https://openalex.org/C2776719672","wikidata":"https://www.wikidata.org/wiki/Q17098435","display_name":"Left and right","level":2,"score":0.6464364528656006},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5717936754226685},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24579522013664246},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.19609320163726807},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.17840084433555603},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09781378507614136},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3732772.3733535","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732772.3733535","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733535","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3732772.3733535","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3732772.3733535","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3732772.3733535","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4411278163.pdf","grobid_xml":"https://content.openalex.org/works/W4411278163.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W1987374783","https://openalex.org/W2056295140","https://openalex.org/W2493557058","https://openalex.org/W2811088724","https://openalex.org/W2962736685","https://openalex.org/W3043691737","https://openalex.org/W3157038403","https://openalex.org/W4400624682"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4288090301","https://openalex.org/W2982185603","https://openalex.org/W1978684236","https://openalex.org/W2164938550","https://openalex.org/W3003614666","https://openalex.org/W2963573247","https://openalex.org/W1598502370"],"abstract_inverted_index":{"We":[0],"provide":[1],"new":[2],"distributed":[3,17],"interactive":[4,18],"proofs":[5],"(DIP)":[6,20],"for":[7],"planarity":[8],"and":[9,26,80],"related":[10],"graph":[11,43,66],"families.":[12],"The":[13,45,59],"notion":[14],"of":[15,36,78],"a":[16,41,48,69,75,82],"proof":[19,89],"was":[21],"introduced":[22],"by":[23,40,56],"Kol,":[24],"Oshman,":[25],"Saxena":[27],"(PODC":[28],"2018).":[29],"In":[30],"this":[31],"setting,":[32],"the":[33,65,88],"verifier":[34],"consists":[35],"n":[37],"nodes":[38,55],"connected":[39],"communication":[42,84],"G.":[44],"prover":[46],"is":[47,61],"single":[49],"entity":[50],"that":[51,64],"communicates":[52],"with":[53,81],"all":[54],"short":[57],"messages.":[58],"goal":[60],"to":[62],"verify":[63],"G":[67],"satisfies":[68],"certain":[70],"property":[71],"(e.g.,":[72],"planarity)":[73],"in":[74],"small":[76,83],"number":[77],"rounds,":[79],"bound,":[85],"denoted":[86],"as":[87],"size.":[90]},"counts_by_year":[],"updated_date":"2026-08-22T07:34:49.880490","created_date":"2025-10-10T00:00:00"}