{"id":"https://openalex.org/W7168149671","doi":"https://doi.org/10.4230/lipics.cp.2026.42","title":"From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming","display_name":"From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7168149671","doi":"https://doi.org/10.4230/lipics.cp.2026.42"},"language":"en","primary_location":{"id":"pmh:doi:10.4230/lipics.cp.2026.42","is_oa":true,"landing_page_url":"https://github.com/chuffed/chuffed","pdf_url":"http://ijcai.org/Proceedings/09/Papers/074.pdf","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"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://ijcai.org/Proceedings/09/Papers/074.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140530675","display_name":"Imko Marijnissen","orcid":"https://orcid.org/0009-0008-7086-920X"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marijnissen, Imko","raw_affiliation_strings":["Delft University of Technology, Netherlands"],"raw_orcid":"https://orcid.org/0009-0008-7086-920X","affiliations":[{"raw_affiliation_string":"Delft University of Technology, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120598868","display_name":"Maarten Flippo","orcid":null},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Flippo, Maarten","raw_affiliation_strings":["Delft University of Technology, Netherlands"],"raw_orcid":"https://orcid.org/0009-0005-5333-2767","affiliations":[{"raw_affiliation_string":"Delft University of Technology, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019385762","display_name":"Emir Demirovi\u0107","orcid":"https://orcid.org/0000-0003-1587-5582"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Demirovi\u0107, Emir","raw_affiliation_strings":["Delft University of Technology, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-1587-5582","affiliations":[{"raw_affiliation_string":"Delft University of Technology, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5778999924659729},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5454000234603882},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5041000247001648},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.48840001225471497},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.46540001034736633},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.33169999718666077},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.32670000195503235},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.32429999113082886}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7020000219345093},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5778999924659729},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5454000234603882},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5392000079154968},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5041000247001648},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.48840001225471497},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.46540001034736633},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45730000734329224},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.33169999718666077},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.32670000195503235},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.32429999113082886},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.302700012922287},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30149999260902405},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.2921000123023987},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.2808000147342682},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.27619999647140503},{"id":"https://openalex.org/C29230964","wikidata":"https://www.wikidata.org/wiki/Q5164376","display_name":"Constraint learning","level":5,"score":0.26460000872612},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.2572999894618988},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2563000023365021}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:doi:10.4230/lipics.cp.2026.42","is_oa":true,"landing_page_url":"https://github.com/chuffed/chuffed","pdf_url":"http://ijcai.org/Proceedings/09/Papers/074.pdf","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":"pmh:oai:drops-oai.dagstuhl.de:26674","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2026.42","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol379-cp2026/LIPIcs.CP.2026.42/LIPIcs.CP.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":"doi:10.4230/lipics.cp.2026.42","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.cp.2026.42","pdf_url":null,"source":null,"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:doi:10.4230/lipics.cp.2026.42","is_oa":true,"landing_page_url":"https://github.com/chuffed/chuffed","pdf_url":"http://ijcai.org/Proceedings/09/Papers/074.pdf","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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G249262831","display_name":"Quantum Software Consortium","funder_award_id":"024.003.037","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G420050720","display_name":null,"funder_award_id":"024.003","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G5676925691","display_name":"Towards a Unification of AI-Based Solving Paradigms for Combinatorial Optimisation","funder_award_id":"OCENW.M.21.078","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7168149671.pdf","grobid_xml":"https://content.openalex.org/works/W7168149671.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Conflict\u2011Driven":[0],"Clause":[1,21],"Learning":[2],"(CDCL)":[3],"is":[4,37,55],"central":[5],"to":[6,15,38,118,167],"the":[7,47,78,116,152,192,200],"success":[8],"of":[9,35,46,82,174,185,191,240],"SAT":[10,44,53,89,121,137],"solvers,":[11],"and":[12,43,61,95,110,147,164,236],"its":[13],"adaptation":[14],"Constraint":[16],"Programming":[17],"(CP)":[18],"through":[19],"Lazy":[20],"Generation":[22],"(LCG)":[23],"has":[24,68],"been":[25],"a":[26,41,51,120,129,172,183,234],"major":[27],"breakthrough":[28],"for":[29,133,242],"CP":[30,42,153],"solving.":[31],"A":[32],"core":[33],"requirement":[34],"LCG":[36,85],"maintain":[39,87],"both":[40],"view":[45],"problem.":[48],"Because":[49],"maintaining":[50],"full":[52],"encoding":[54],"impractical,":[56],"solvers":[57,86],"rely":[58],"on":[59,92,221],"partial":[60],"solver\u2011specific":[62],"encodings":[63],"-":[64],"an":[65],"approach":[66],"that":[67,208,225],"evolved":[69],"as":[70,178,180],"folklore":[71],"rather":[72],"than":[73],"formal":[74],"design.":[75],"We":[76,135],"present":[77],"first":[79],"systematic":[80],"analysis":[81,99],"how":[83],"leading":[84],"their":[88],"encodings,":[90],"based":[91],"source\u2011code":[93],"inspection":[94],"developer":[96],"correspondence.":[97],"Our":[98,189],"reveals":[100],"substantial":[101],"differences":[102],"in":[103,157,194,199],"explanation":[104],"lifting,":[105],"backwards":[106],"explanations,":[107],"linking":[108],"clauses,":[109],"nogood":[111,145,148,170,210],"minimisation,":[112],"all":[113],"driven":[114],"by":[115],"need":[117],"preserve":[119],"view.":[122],"To":[123],"overcome":[124],"these":[125],"compromises,":[126],"we":[127,205],"propose":[128],"native":[130],"CDCL":[131,241],"framework":[132,193,232],"CP.":[134,243],"replace":[136],"literals":[138],"with":[139,213,223],"atomic":[140],"constraints,":[141],"enabling":[142],"conflict":[143],"analysis,":[144],"learning,":[146],"propagation":[149,211],"directly":[150],"at":[151],"level.":[154],"This":[155],"results":[156],"cleaner":[158],"algorithmic":[159],"design,":[160],"eliminates":[161],"SAT\u2011specific":[162],"complications,":[163],"allows":[165],"us":[166],"introduce":[168],"extended":[169,209],"propagation,":[171,177],"generalisation":[173,184,239],"SAT\u2011based":[175],"clause":[176],"well":[179],"CPIP":[181,214],"nogoods,":[182],"SAT-based":[186],"learned":[187],"nogoods.":[188],"implementation":[190],"Pumpkin":[195],"demonstrates":[196],"competitive":[197],"performance":[198],"MiniZinc":[201],"Challenge":[202],"2025.":[203],"Additionally,":[204],"empirically":[206],"show":[207],"combined":[212],"nogoods":[215],"can":[216],"significantly":[217],"reduce":[218],"failures,":[219],"especially":[220],"problems":[222],"constraints":[224],"reason":[226],"over":[227],"domain":[228],"holes.":[229],"Overall,":[230],"our":[231],"provides":[233],"principled":[235],"semantically":[237],"rich":[238]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-14T00:00:00"}