SeaPearl: a constraint programming solver guided by reinforcement learning
type: Item
instance of: scholarly article
title: SeaPearl: a constraint programming solver guided by reinforcement learning
DOI: 10.1007/978-3-030-78230-6_25
author: Félix Chalumeau
author: Ilan Coulon
author: Quentin Cappart
author: Louis-Martin Rousseau
publication date: 2022-03-21T00:00:00Z
full work available at URL: https://arxiv.org/abs/2102.09193
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 90C27
zbMATH DE Number: 7493642
zbMATH Keywords: reinforcement learning
zbMATH Keywords: solver design
zbMATH Keywords: constraint programming
cites work: MathOptInterface.jl
cites work: MiniCP
cites work: A portfolio optimization model with three objectives and discrete variables
cites work: Constraint-based scheduling: Applying constraint programming to scheduling problems.
cites work: Machine learning for combinatorial optimization: a methodological tour d'horizon
cites work: Julia: A Fresh Approach to Numerical Computing
cites work: Q5687258
cites work: Three-dimensional matching instances are rich in stable matchings
cites work: Benchmarking optimization software with performance profiles.
cites work: JuMP: A Modeling Language for Mathematical Optimization
cites work: Q5270493
cites work: MiniCP: a lightweight solver for constraint programming
cites work: Principles and Practice of Constraint Programming – CP 2004
cites work: Guiding high-performance SAT solvers with unsat-core predictions
cites work: Strong Combination of Ant Colony Optimization with Constraint Programming Optimization
cites work: Q4626283
cites work: The vehicle routing problem
cites work: Failure-Directed Search for Constraint-Based Scheduling
describes a project that uses: MathOptInterface.jl
describes a project that uses: MiniCP
describes a project that uses: Choco
describes a project that uses: OscaR
describes a project that uses: NeuroSAT
describes a project that uses: Distributions.jl
describes a project that uses: VRP
describes a project that uses: Julia
describes a project that uses: Knet
describes a project that uses: Gecode
describes a project that uses: JuMP
describes a project that uses: LightGraphs.jl
MaRDI profile type: Publication
OpenAlex ID: W3176327512
description: scientific article; zbMATH DE number 7493642