constraint-programming

Documents about constraint-programming

• Autonomous Search: Towards the Easy Tuning of Constraint Programming Solvers#948553Repositorio de Universidad Autónoma de Chile.
• An extensible autonomous search framework for constraint programming#947555Repositorio de Universidad Autónoma de Chile.
• Towards a framework for adaptive constraint propagation#935663Repositorio de Universidad Autónoma de Chile.
• The impact of using different choice functions when solving CSPs with autonomous search#935621Repositorio de Universidad Autónoma de Chile.
• Replication Data for: Combining Constraint Programming and Simulated Annealing for Test Configuration Selection#405981KU Leuven RDR Dataverse OAI Archive
• A hybrid constraint programming and cross-entropy approach for balancing U-Shaped disassembly line with flexible workstations and spatial constraints#384861HAL (France)
• Active Constraint Acquisition Using Large Language Models#1203475HAL (France)
• A constraint programming-based lower bounding procedure for the job shop scheduling problem#1347856Repositorio UNAB
• Programming with Specifications#1361941DataCite
• Syntax extensions for a constrained-object language via dynamic parser cooperation#948914Repositorio de Universidad Autónoma de Chile.
• Nurse rostering with soft constraints : Evidence from chilean mid-size health care centers#948748Repositorio de Universidad Autónoma de Chile.
• Hierarchical rectangle packing solved by multi-level recursive logic-based benders decomposition#1492631HAL (France)
• Top-k based adaptive enumeration in constraint programming#948468Repositorio de Universidad Autónoma de Chile.
• Sequence Variables: A Constraint Programming Computational Domain for Routing and Sequencing#1131418arXiv (All)
• Counterfactual Routing Using Integer Programming with Constraint Generation#926599arXiv (All)
• Replication Data for: Perception-based Constraint Solving for Sudoku Images#685251KU Leuven RDR Dataverse OAI Archive
• Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving#1049085arXiv (All)
• Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution#1076004arXiv (All)
• Agentic AI-Assisted Modeling for Production Scheduling: Assessment in Constraint Programming#1234551arXiv (All)
• Agentic AI-Assisted Modeling for Production Scheduling: Assessment in Constraint Programming#1227395arXiv CS
• Evaluating the efficient of using choice functions to solve CSPs via Autonomous Search [Evaluando La Eficiencia De Utilizar Funciones De Selección En Búsqueda Autónoma Para Resolver Problemas De Satisfacción De Restricciones]#948006Repositorio de Universidad Autónoma de Chile.
• Enhanced Filtering Algorithms for the Euclidean Traveling Salesperson Problem and its variants in Constraint Logic Programming#444688arXiv CS
• A Constraint Programming Approach for n-Day Lookahead Playoff Clinching in the NHL#997493arXiv (All)
• Distances on Finite Constraint Systems and LICQ Radii in Nonlinear Programming#1234358arXiv (All)
• When Words Change the Model: Sensitivity of LLMs for Constraint Programming Modelling#1317918Springer Nature OA
• An extension of energetic reasoning for the cumulative scheduling problem and its application to solving the RCPSP#7579HAL (France)
• WSM tuning in autonomous search via gravitational search algorithms#948211Repositorio de Universidad Autónoma de Chile.
• Combiner les approches participatives et la modélisation sous contraintes pour concevoir des dispositifs de design agroécologique#213236HAL (France)
• From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving#609200arXiv (OAI Expanded)
• A Constraint Programming Model for the Super-Agile Earth Observation Satellite Imaging Scheduling Problem#1403018arXiv (All)
• Scheduling Software for Improving Teaching Assistant Schedule Satisfaction#442444GUPEA
• Optimal adaptation of equivalent factor of equivalent consumption minimization strategy for fuel cell hybrid electric vehicles under active state inequality constraints#374898KOASAS: KAIST Open Access Self-Archiving System