TCS-Meiji / PACE2017-TrackALinks
☆21Updated 8 years ago
Alternatives and similar repositories for PACE2017-TrackA
Users that are interested in PACE2017-TrackA are comparing it to the libraries listed below
Sorting:
- ☆10Updated 8 years ago
- List of Treewidth solvers, instances, and tools☆35Updated 2 years ago
- ☆13Updated 3 years ago
- Submission to PACE 17☆17Updated 4 months ago
- Implementation of the tree width algorithms.☆18Updated 3 weeks ago
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆50Updated last year
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆55Updated last year
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆81Updated this week
- A parallelized, arbitrary precision semidefinite program solver based on the primal-dual interior-point method.☆18Updated last year
- Einsum Expressions in Julia☆12Updated last month
- A Julia library for computing tree decompositions and chordal completions of graphs.☆22Updated this week
- The Belief Propagation approximation for probability distributions on sparse graphs☆24Updated last month
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆14Updated last week
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 3 years ago
- TensorOperations and cuTENSOR combined☆13Updated 5 years ago
- Automated discovery of optimal branching rules for the branch-and-bound algorithm☆14Updated this week
- Management of Benchmark Instances and Instance Attributes☆20Updated last month
- Tropical Numbers☆14Updated 3 months ago
- A randomized algorithm for the compressed MPS MPO product☆16Updated last month
- A general branch and bound framework☆32Updated 2 years ago
- ☆15Updated 2 years ago
- Julia interface for the Blossom V perfect matching algorithm☆14Updated 4 years ago
- The Hackable Tensor Network library☆37Updated 3 weeks ago
- Kernel Intermediate Representation Infrastructure☆20Updated this week
- A package for graph optimization algorithms that rely on mathematical programming.☆20Updated 8 months ago
- ☆62Updated 3 months ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- Lattice reduction and other lattice tools in Julia☆49Updated 5 months ago
- Fast and scalable max cardinality matching for bipartite graphs☆25Updated last month
- A Julia Ecosystem for Quadratic Unconstrained Binary Optimization☆37Updated 8 months ago