{"type":"ScholarlyArticle","title":"Compact Modeling in Constraint Programming with Hybrid Tables","authors":[{"name":"Christophe Lecoutre","slug":"christophe-lecoutre","given":"Christophe","family":"Lecoutre","affiliation":""},{"name":"Mouny Samy Modeliar","slug":"mouny-samy-modeliar","given":"Mouny","family":"Samy Modeliar","affiliation":""},{"name":"Gilles Audemard","slug":"gilles-audemard","given":"Gilles","family":"Audemard","affiliation":""},{"name":"Nicolas Paris","slug":"nicolas-paris","given":"Nicolas","family":"Paris","affiliation":""},{"name":"Nicolas Szczepanski","slug":"nicolas-szczepanski","given":"Nicolas","family":"Szczepanski","affiliation":""}],"abstract":"Hybrid tables, also referred to  as `smart' in the literature, represent a valuable modeling technique within Constraint Programming (CP). These tables allow us to handle disjunctive cases (constraining expressions) in a compact and structured way, by authorizing tuples (table entries) to contain simple unary and binary arithmetic restrictions (similar to internal constraints).\r\nIn this paper, we show the practical interest of using hybrid tables for planning-like combinatorial puzzles, when the transition from one state to the next can be encoded by a single hybrid table. \r\nExperimental results show that these hybrid models exhibit greater compactness and efficiency in solving compared to their conventional counterparts.","doi":"10.24963/ijcai.2026/255","url":"https://ijcai.org/proceedings/2026/255","pdf":"https://ijcai.org/proceedings/2026/0255.pdf","markdown":"https://ijcai.org/proceedings/2026/255.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/255","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Constraint Satisfaction and Optimization","track":"Main Track","number":255,"pages":{"first":2291,"last":2299},"keywords":["Constraint Satisfaction and Optimization: Modeling","Constraint Satisfaction and Optimization: Constraint optimization problems","Constraint Satisfaction and Optimization: Constraint satisfaction","Constraint Satisfaction and Optimization: Constraint programming"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}