constraint programming

A GPU-based Constraint Programming Solver 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 Constraint Optimization of MicroPlate Designs AAAI 2026 Faster Symmetry Breaking Constraints for Abstract Structures AAAI 2026 Generating Streamlining Constraints with Large Language Models (Abstract Reprint) AAAI 2026 Bimodal Depth-First Search for Scalable GAC for AllDifferent IJCAI 2025 Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025 Constrained Sequential Inference in Machine Learning Using Constraint Programming 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 Exploiting Symmetries in MUS Computation AAAI 2025 Generalizing Constraint Models in Constraint Acquisition AAAI 2025 Integrating Symbolic Reasoning into Neural Generative Models for Design Generation AAAI 2025 Large Language Model Meets Constraint Propagation IJCAI 2025 Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised Learning AAAI 2025 On the Modelling of Constraints with Tractable Logical Operators AAAI 2025 Privacy-and-Utility-Aware Publishing of Schedules AAAI 2025 Proactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags AAAI 2025 Proactive Data-driven Scheduling of Business Processes IJCAI 2025 Towards a Practical Tool for Music Composition: Using Constraint Programming to Model Chord Progressions and Modulations IJCAI 2025 Towards the 30 by 30 Kunming-Montreal Global Biodiversity Framework Target: Optimising Graph Connectivity in Constraint-Based Spatial Planning IJCAI 2025 Check-In Desk Scheduling Optimisation at CDG International Airport AAAI 2024 Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae AAAI 2024