conftrace_

constraint programming

95 papers

Explore in graph

Also known as

CP

Co-occurring keywords

combinatorial optimization (1039) constraint satisfaction (294) large language model (13587) constraint propagation (21) stochastic optimization (1060) symmetry breaking (28) global constraint (6) filtering algorithm (5) sat solver (78) local search (98)

Papers

Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae 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
Polynomial Time Presolve Algorithms for Rotation-Based Models Solving the Robust Stable Matching Problem IJCAI 2024
Learning to Learn in Interactive Constraint Acquisition AAAI 2024
Conversational Modeling for Constraint Satisfaction AAAI 2024
What Are the Rules? Discovering Constraints from Data AAAI 2024
Markov Constraint as Large Language Model Surrogate IJCAI 2024
Proof Logging for Smart Extensional Constraints (Extended Abstract) IJCAI 2024
Embedding a Long Short-Term Memory Network in a Constraint Programming Framework for Tomato Greenhouse Optimisation AAAI 2023
Moccasin: Efficient Tensor Rematerialization for Neural Networks ICML 2023
New Bounds and Constraint Programming Models for the Weighted Vertex Coloring Problem IJCAI 2023
A Regular Matching Constraint for String Variables IJCAI 2023
Learning When to Use Automatic Tabulation in Constraint Model Reformulation IJCAI 2023
A Bitwise GAC Algorithm for Alldifferent Constraints IJCAI 2023
Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract) IJCAI 2023
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023
Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto AAAI 2023
Sudoku Assistant – an AI-Powered App to Help Solve Pen-and-Paper Sudokus AAAI 2023
Generalized Confidence Constraints AAAI 2023
Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint IJCAI 2023
Supporting Sustainable Agroecological Initiatives for Small Farmers through Constraint Programming IJCAI 2023
AI and Decision Support for Sustainable Socio-Ecosystems IJCAI 2023
Threshold-free Pattern Mining Meets Multi-Objective Optimization: Application to Association Rules IJCAI 2022
Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming IJCAI 2022