toenshoff / RUN-CSPLinks
☆13Updated 2 years ago
Alternatives and similar repositories for RUN-CSP
Users that are interested in RUN-CSP are comparing it to the libraries listed below
Sorting:
- An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…☆59Updated last year
- Generators for linear programming instances with controllable difficulty and solution properties.☆15Updated 4 years ago
- ☆41Updated 3 months ago
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated 2 years ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆27Updated 5 years ago
- A solver based on local search☆12Updated 3 months ago
- ☆26Updated 4 years ago
- Machine Learning for Combinatorial Optimization - NeurIPS'21 competition☆134Updated 2 years ago
- Source code for the Paper: CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints}☆73Updated 3 years ago
- A standalone local search solver for general mixed integer programming☆23Updated 3 months ago
- Code repo for ICML'23 Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning☆40Updated last year
- Reimplementation of "Exact Combinatorial Optimization with Graph Convolutional Neural Networks" (NeurIPS 2019)☆41Updated 10 months ago
- Hybrid Models for Learning to Branch (NeurIPS 2020)☆50Updated 4 years ago
- ☆32Updated 2 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated last week
- Reinforcement Learning for Cut Selection☆11Updated 2 years ago
- Material for the ISCO 2018 spring school: “Advanced Mixed Integer Programming Formulation Techniques”☆15Updated 7 years ago
- A standalone local search solver for general integer linear programming☆16Updated 11 months ago
- ☆11Updated 3 years ago
- ☆9Updated 2 years ago
- Parameterizing Branch-and-Bound Search Trees to Learn Branching Policies (AAAI 2021)☆67Updated 3 years ago
- [ICLR 2023] "On Representing Mixed-Integer Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng L…☆51Updated last year
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆29Updated last year
- ☆14Updated last year
- Learning local search heuristics for Boolean satisfiability☆37Updated last year
- Implementation of our NeurIPS 2021 paper "A Bi-Level Framework for Learning to Solve Combinatorial Optimization on Graphs".☆100Updated 2 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Updated 4 years ago
- The Multi-Parent Biased Random-Key Genetic Algorithm with Implict Path Relink - C++ version☆19Updated 2 months ago
- Predict and search framework for MilP☆56Updated 2 years ago
- ☆18Updated 8 months ago