Imagen de Portada

Learning a Generic Value-Selection Heuristic Inside a Constraint Programming Solver

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Marty, Tom, François, Tristan, Tessier, Pierre, Gauthier, Louis, Rousseau, Louis-Martin, Cappart, Quentin
Formato:	Preprint
Publicado:	2023
Materias:	Artificial Intelligence Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Learning Valid Dual Bounds in Constraint Programming: Boosted Lagrangian Decomposition with Self-Supervised Learning
por: Bessa, Swann, et al.
Publicado: (2024)

Towards a Generic Representation of Combinatorial Problems for Learning-Based Approaches
por: Boisvert, Léo, et al.
Publicado: (2024)

Hyperparameter Optimization of Constraint Programming Solvers
por: Haddad, Hedieh, et al.
Publicado: (2026)

MARCO: A Memory-Augmented Reinforcement Framework for Combinatorial Optimization
por: Garmendia, Andoni I., et al.
Publicado: (2024)

Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers
por: Wang, Haoyu, et al.
Publicado: (2026)

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications
por: Li, Xijun, et al.
Publicado: (2024)

WorkArena: How Capable Are Web Agents at Solving Common Knowledge Work Tasks?
por: Drouin, Alexandre, et al.
Publicado: (2024)

Using Certifying Constraint Solvers for Generating Step-wise Explanations
por: Bleukx, Ignace, et al.
Publicado: (2025)

Enhancing CVRP Solver through LLM-driven Automatic Heuristic Design
por: Xie, Zhuoliang, et al.
Publicado: (2026)

Systematic Analysis of LLM Contributions to Planning: Solver, Verifier, Heuristic
por: Li, Haoming, et al.
Publicado: (2024)

An Exact Framework for Solving the Space-Time Dependent TSP
por: Rudich, Isaac, et al.
Publicado: (2023)

Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming
por: Brayé, Clotilde, et al.
Publicado: (2025)

Minibal: Balanced Game-Playing Without Opponent Modeling
por: Cohen-Solal, Quentin, et al.
Publicado: (2026)

Minimax Strikes Back
por: Cohen-Solal, Quentin, et al.
Publicado: (2020)

On some improvements to Unbounded Minimax
por: Cohen-Solal, Quentin, et al.
Publicado: (2025)

Towards Constraint Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2025)

Generalized Rapid Action Value Estimation in Memory-Constrained Environments
por: Rautureau, Aloïs, et al.
Publicado: (2026)

Teacher-Aware Evolution of Heuristic Programs from Learned Optimization Policies
por: Chen, Minyu, et al.
Publicado: (2026)

MCP-Solver: Integrating Language Models with Constraint Programming Systems
por: Szeider, Stefan
Publicado: (2024)

Going Beyond Heuristics by Imposing Policy Improvement as a Constraint
por: Lee, Chi-Chang, et al.
Publicado: (2025)

PDL: A Declarative Prompt Programming Language
por: Vaziri, Mandana, et al.
Publicado: (2024)

ChatGPT as a Solver and Grader of Programming Exams written in Spanish
por: Saborido-Fernández, Pablo, et al.
Publicado: (2024)

Collab-Solver: Collaborative Solving Policy Learning for Mixed-Integer Linear Programming
por: Li, Siyuan, et al.
Publicado: (2025)

Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers
por: Banković, Milan
Publicado: (2024)

Sequence Variables: A Constraint Programming Computational Domain for Routing and Sequencing
por: Delecluse, Augustin, et al.
Publicado: (2025)

Reinforcement Learning-based Heuristics to Guide Domain-Independent Dynamic Programming
por: Narita, Minori, et al.
Publicado: (2025)

ACCORD: Autoregressive Constraint-satisfying Generation for COmbinatorial Optimization with Routing and Dynamic attention
por: Abgaryan, Henrik, et al.
Publicado: (2025)

An Amortized Efficiency Threshold for Comparing Neural and Heuristic Solvers in Combinatorial Optimization
por: Afifi, Sohaib
Publicado: (2026)

Learning a Prior for Monte Carlo Search by Replaying Solutions to Combinatorial Problems
por: Cazenave, Tristan
Publicado: (2024)

ASP-FZN: A Translation-based Constraint Answer Set Solver
por: Eiter, Thomas, et al.
Publicado: (2025)

Rethinking LLM-Driven Heuristic Design: Generating Efficient and Specialized Solvers via Dynamics-Aware Optimization
por: Wang, Rongzheng, et al.
Publicado: (2026)

Implementing Cumulative Functions with Generalized Cumulative Constraints
por: Schaus, Pierre, et al.
Publicado: (2025)

WorkArena++: Towards Compositional Planning and Reasoning-based Common Knowledge Work Tasks
por: Boisvert, Léo, et al.
Publicado: (2024)

A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
por: Schrader, Timo Pierre, et al.
Publicado: (2025)

Learning Under Laws: A Constraint-Projected Neural PDE Solver that Eliminates Hallucinations
por: Singha, Mainak
Publicado: (2025)

Deciding the Satisfiability of Combined Qualitative Constraint Networks
por: Cohen-Solal, Quentin, et al.
Publicado: (2026)

CP-Model-Zoo: A Natural Language Query System for Constraint Programming Models
por: Crespin, Augustin, et al.
Publicado: (2025)

Machine Learning and Constraint Programming for Efficient Healthcare Scheduling
por: Said, Aymen Ben, et al.
Publicado: (2024)

CaDA: Cross-Problem Routing Solver with Constraint-Aware Dual-Attention
por: Li, Han, et al.
Publicado: (2024)

Multi-action Tangled Program Graphs for Multi-task Reinforcement Learning with Continuous Control
por: Vacher, Quentin, et al.
Publicado: (2026)