corail-research/learning-to-bound

Stars
2
Language
C++
License
MIT License
Created over 2 years ago
Updated over 2 years ago

corail-research/learning-to-bound

corail-research

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Implementation of the paper "Improving Variable Orderings of Approximate Decision Diagrams using Reinforcement Learning"

SeaPearl.jl

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

seahorse

A handy package for kickstarting AI contests

SeaPearlZoo.jl

SeaPearl's pool of examples

Jupyter Notebook

learning-generic-csp

Representing CP problems as graphs

SeaPearlExtras.jl

Non-critical functions for SeaPearl

learning-hk-bound