KHvic / algorithms
Advance algorithm implementations
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for algorithms
- ☆10Updated 2 years ago
- Fork of Bliss☆12Updated 2 years ago
- Advanced algorithm and data structure library in C++☆64Updated 4 years ago
- C++ implementation of algorithms for finding perfect matchings in general graphs☆65Updated 2 years ago
- feedback vertex set solver☆11Updated 6 years ago
- C++ library for a binary quadratic model☆13Updated last month
- Steiner tree solver☆29Updated 6 years ago
- A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python☆16Updated 3 years ago
- Quantum-inspired evolutionary algorithms for Optimization problems☆25Updated 3 years ago
- DeepPath - A Deep Reinforcement Learning Method for Knowledge Graph Reasoning using TensorForce☆12Updated 6 years ago
- Overview website for research on Algorithms with Predictions (ALPS)☆35Updated 2 weeks ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆25Updated 10 months ago
- Run large scale tensor and coupled matrix-tensor factorization on top of stock Hadoop.☆18Updated 6 years ago
- Controlled Online Optimization Learning (COOL): Finding the Ground State of Spin Hamiltonians with Reinforcement Learning (arXiv:2003.000…☆12Updated 4 years ago
- A collection of my solutions to various informatics olympiad problems☆46Updated last year
- ☆14Updated 5 years ago
- Optimization Models and Algorithms☆15Updated 5 months ago
- Book Code for ICPC; Unmaintained, see https://github.com/kth-competitive-programming/kactl/ or https://github.com/ecnerwala/cp-book☆190Updated last year
- C++ competitive programming library☆72Updated 3 weeks ago
- A series of introductory instructional python notebooks, for computational number theory.☆13Updated 6 years ago
- binary/integer linear programming solver☆14Updated last week
- The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.☆21Updated 3 years ago
- ☆14Updated 11 months ago
- VieCut 1.00 - Shared-memory Minimum Cuts☆43Updated last year
- A standalone local search solver for general integer linear programming☆15Updated 4 months ago
- Learning to Compare Nodes in Branch and Bound with Graph Neural Networks (NeurIPS 2022)☆20Updated 2 years ago
- symbolic regression☆36Updated 2 years ago
- A quantum circuit optimizer based on sum-over-paths representations☆24Updated 5 years ago
- SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data struc…☆20Updated 4 years ago
- KaGen: Communication-free Massively Distributed Graph Generators☆35Updated 2 weeks ago