{"id":"https://openalex.org/W7168996186","doi":"https://doi.org/10.4230/lipics.sat.2026.42","title":"Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities (Tool Paper)","display_name":"Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities (Tool Paper)","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7168996186","doi":"https://doi.org/10.4230/lipics.sat.2026.42"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:26348","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2026.42","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol377-sat2026/LIPIcs.SAT.2026.42/LIPIcs.SAT.2026.42.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"type":"article","indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol377-sat2026/LIPIcs.SAT.2026.42/LIPIcs.SAT.2026.42.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5116082095","display_name":"Thomas Sergeys","orcid":"https://orcid.org/0009-0003-3817-4516"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Sergeys, Thomas","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Belgium"],"raw_orcid":"https://orcid.org/0009-0003-3817-4516","affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141035885","display_name":"Ignace Bleukx","orcid":"https://orcid.org/0000-0001-7810-8351"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bleukx, Ignace","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Belgium"],"raw_orcid":"https://orcid.org/0000-0001-7810-8351","affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041230402","display_name":"Tias Guns","orcid":"https://orcid.org/0000-0002-2156-2155"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Guns, Tias","raw_affiliation_strings":["Department of Computer Science, KU Leuven, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-2156-2155","affiliations":[{"raw_affiliation_string":"Department of Computer Science, KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I99464096"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.77620263,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9168999791145325,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9168999791145325,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.009700000286102295,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12401","display_name":"Scheduling and Timetabling Solutions","score":0.007799999788403511,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6212999820709229},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.60589998960495},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5699999928474426},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5404000282287598},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.4934000074863434},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4090000092983246},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.3953999876976013}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7498000264167786},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6212999820709229},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.60589998960495},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5699999928474426},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.548799991607666},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5404000282287598},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.4934000074863434},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47850000858306885},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4090000092983246},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.3953999876976013},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3813000023365021},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.3621000051498413},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.35040000081062317},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.3481999933719635},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3456000089645386},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.33180001378059387},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.3156999945640564},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.3068999946117401},{"id":"https://openalex.org/C7342684","wikidata":"https://www.wikidata.org/wiki/Q520777","display_name":"Boolean data type","level":2,"score":0.2919999957084656},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.26899999380111694}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:26348","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2026.42","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol377-sat2026/LIPIcs.SAT.2026.42/LIPIcs.SAT.2026.42.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"pmh:doi:10.4230/lipics.sat.2026.42","is_oa":true,"landing_page_url":"https://github.com/CPMpy/cpmpy","pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"doi:10.4230/lipics.sat.2026.42","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.sat.2026.42","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:26348","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2026.42","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol377-sat2026/LIPIcs.SAT.2026.42/LIPIcs.SAT.2026.42.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.4498893916606903,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7168996186.pdf","grobid_xml":"https://content.openalex.org/works/W7168996186.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Many":[0],"communities":[1],"within":[2],"Combinatorial":[3],"Optimization":[4],"(CO)":[5],"maintain":[6],"benchmark":[7,59],"sets":[8],"in":[9],"heterogeneous":[10],"formats,":[11,151],"often":[12],"tied":[13],"to":[14,33,148,172],"specific":[15],"competitions":[16],"and":[17,26,35,68,84,93,131,159,174],"solver":[18],"technologies.":[19],"Whilst":[20],"this":[21,166],"diversity":[22],"is":[23],"of":[24,123,177],"practical":[25],"historical":[27],"importance,":[28],"it":[29],"also":[30],"creates":[31],"barriers":[32],"use":[34],"compare":[36],"methods":[37],"from":[38,48],"different":[39,138],"communities.":[40],"Inspired":[41],"by":[42],"the":[43,49],"more":[44],"unified":[45,62,167],"software":[46],"ecosystem":[47],"ML":[50],"community,":[51],"we":[52,99,144],"propose":[53],"a":[54,109,117],"programmatic":[55,63],"abstraction":[56,168],"for":[57,65,112],"CO":[58],"sets.":[60],"A":[61],"interface":[64],"downloading,":[66],"reading":[67],"converting":[69],"datasets":[70],"across":[71,179],"formats.":[72],"This":[73],"includes":[74],"solver-oriented":[75,150],"benchmarks":[76,86,173],"such":[77,87,126],"as":[78,88,127],"XCSP3,":[79],"MIPLib,":[80],"PB,":[81],"MaxSATEval,":[82],"SAT":[83],"application-oriented":[85],"Nurse":[89],"rostering,":[90],"PSPLib":[91],"(RCSP),":[92],"JSPlib.":[94],"To":[95],"enable":[96],"cross-formalism":[97],"conversions,":[98],"provide":[100],"loaders":[101],"that":[102,134,165],"bring":[103],"these":[104],"dataset":[105],"instances":[106],"into":[107],"CPMpy,":[108],"modelling":[110],"library":[111],"constraint":[113,128,139],"programming.":[114],"CPMpy":[115],"provides":[116],"transformation":[118],"stack;":[119],"an":[120],"extensive":[121],"set":[122],"rewrite":[124],"operations":[125],"decomposition,":[129],"linearization,":[130],"Boolean":[132],"encodings,":[133],"allow":[135],"transforming":[136],"between":[137],"formalisms.":[140],"Based":[141],"on":[142],"this,":[143],"implement":[145],"file":[146,155],"writers":[147],"multiple":[149],"including":[152],"MiniZinc,":[153],"LP":[154],"format":[156],"(ILP),":[157],"OPB,":[158],"DIMACS":[160],"(W)CNF":[161],"((Max)SAT).":[162],"We":[163],"demonstrate":[164],"facilitates":[169],"cross-community":[170],"access":[171],"systematic":[175],"comparisons":[176],"solvers":[178],"paradigms.":[180]},"counts_by_year":[],"updated_date":"2026-08-22T07:34:49.880490","created_date":"2026-07-17T00:00:00"}