Pronte / ECCLinks
Heuristic algorithms for computing an Edge Clique Cover
☆8Updated 6 years ago
Alternatives and similar repositories for ECC
Users that are interested in ECC are comparing it to the libraries listed below
Sorting:
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆26Updated 5 years ago
- Maximum independent sets and vertex covers of large sparse graphs.☆76Updated 2 months ago
- A standalone local search solver for general integer linear programming☆16Updated 10 months ago
- Fork of IFogSim, redesigned for the implementation of a resource allocation strategy in Fog / Edge computing environments.☆8Updated 2 years ago
- Implementation of Dynamic Computation Offloading Control Logic in a Software-Defined Vehicle (SDV) System☆11Updated 5 months ago
- A standalone local search solver for general mixed integer programming☆22Updated 3 months ago
- A solver for the generalized assignment problem☆23Updated 2 months ago
- Program codes for various areas of artificial intelligence, gan networks, reinforcement learning, variational autoencoder are given.☆8Updated this week
- Production System Engineering using Deep Q Network Learning approach☆9Updated 3 years ago
- Computing with Eigenvalue Distributions of Large Random Matrices of the Covariance Type☆14Updated 7 years ago
- Learning to Compare Nodes in Branch and Bound with Graph Neural Networks (NeurIPS 2022)☆22Updated 2 years ago
- Official Repo for the NeurIPS2020 paper "Erdos Goes Neural: An Unsupervised Learning Framework for Combinatorial Optimization on Graphs"☆49Updated 3 years ago
- C++ implementation of an incremental primal-dual assignment problem solver.☆12Updated 5 months ago
- Generators for Combinatorial Optimization☆18Updated 2 years ago
- 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
- source code of paper 'Auto-STGCN: Autonomous Spatial-Temporal Graph Convolutional Network Search Based on Reinforcement Learning and Exis…☆11Updated 4 years ago
- This repository is the the implementation of the JAIR paper: https://doi.org/10.1613/jair.1.15320. This repository provides the codebase …☆46Updated 2 months ago
- ☆19Updated last year
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆41Updated last year
- AI Augmented Workflow Scheduling in Mobile Edge Cloud Computing Systems☆9Updated 3 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated 2 weeks ago
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Updated 2 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 10 months ago
- ☆13Updated 2 years ago
- ☆26Updated 4 years ago
- A Library of Optimization Problem Libraries☆49Updated 3 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆21Updated last year
- ☆39Updated 2 months ago
- An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…☆59Updated last year