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

A GPU-based Constraint Programming Solver AAAI 2026
Faster Symmetry Breaking Constraints for Abstract Structures AAAI 2026
Generating Streamlining Constraints with Large Language Models (Abstract Reprint) AAAI 2026
Constraint Optimization of MicroPlate Designs AAAI 2026
Aperiodic Tiling and Rhythmic Canons: A CP Journey AAAI 2026
Assignment Problems in Cost Function Networks AAAI 2026
Constrained Molecule Generation Modelled Using the Grammar Constraint AAAI 2026
Towards a Practical Tool for Music Composition: Using Constraint Programming to Model Chord Progressions and Modulations IJCAI 2025
Integrating Symbolic Reasoning into Neural Generative Models for Design Generation AAAI 2025
On the Modelling of Constraints with Tractable Logical Operators AAAI 2025
Privacy-and-Utility-Aware Publishing of Schedules AAAI 2025
Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025
Generalizing Constraint Models in Constraint Acquisition AAAI 2025
Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised Learning AAAI 2025
Proactive Data-driven Scheduling of Business Processes IJCAI 2025
Proactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags AAAI 2025
Exploiting Symmetries in MUS Computation AAAI 2025
Bimodal Depth-First Search for Scalable GAC for AllDifferent IJCAI 2025
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming EMNLP 2025
Constraint Optimisation Approaches for Designing Group-Living Captive Breeding Programmes AAAI 2025
Constrained Sequential Inference in Machine Learning Using Constraint Programming IJCAI 2025
Towards the 30 by 30 Kunming-Montreal Global Biodiversity Framework Target: Optimising Graph Connectivity in Constraint-Based Spatial Planning IJCAI 2025
Large Language Model Meets Constraint Propagation IJCAI 2025
Intertwining CP and NLP: The Generation of Unreasonably Constrained Sentences IJCAI 2024
Expressing Musical Ideas with Constraint Programming Using a Model of Tonal Harmony IJCAI 2024