constraint programming

Conversational Modeling for Constraint Satisfaction AAAI 2024 Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony IJCAI 2024 Intertwining CP and NLP: The Generation of Unreasonably Constrained Sentences IJCAI 2024 Learning to Learn in Interactive Constraint Acquisition AAAI 2024 Markov Constraint as Large Language Model Surrogate IJCAI 2024 Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem IJCAI 2024 Proof Logging for Smart Extensional Constraints (Extended Abstract) IJCAI 2024 Stable Matchings in Practice: A Constraint Programming Approach AAAI 2024 Trained Random Forests Completely Reveal your Dataset ICML 2024 What Are the Rules? Discovering Constraints from Data AAAI 2024 A Bitwise GAC Algorithm for Alldifferent Constraints IJCAI 2023 AI and Decision Support for Sustainable Socio-Ecosystems IJCAI 2023 A Regular Matching Constraint for String Variables IJCAI 2023 Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract) IJCAI 2023 Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint IJCAI 2023 Embedding a Long Short-Term Memory Network in a Constraint Programming Framework for Tomato Greenhouse Optimisation AAAI 2023 Generalized Confidence Constraints AAAI 2023 GRACE-C: Generalized Rate Agnostic Causal Estimation via Constraints ICLR 2023 Learning When to Use Automatic Tabulation in Constraint Model Reformulation IJCAI 2023 Moccasin: Efficient Tensor Rematerialization for Neural Networks ICML 2023 New Bounds and Constraint Programming Models for the Weighted Vertex Coloring Problem IJCAI 2023 Sudoku Assistant – an AI-Powered App to Help Solve Pen-and-Paper Sudokus AAAI 2023 Supporting Sustainable Agroecological Initiatives for Small Farmers through Constraint Programming IJCAI 2023 Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto AAAI 2023