TCS-Meiji / PACE2017-TrackA
☆18Updated 7 years ago
Alternatives and similar repositories for PACE2017-TrackA:
Users that are interested in PACE2017-TrackA are comparing it to the libraries listed below
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- ☆13Updated 2 years ago
- ☆10Updated 7 years ago
- Submission to PACE 17☆16Updated 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
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆50Updated last year
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆48Updated last year
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆74Updated 10 months ago
- Einsum Expressions in Julia☆10Updated last month
- A coding theory library for Julia.☆26Updated last month
- Implementation of the tree width algorithms.☆15Updated 3 weeks ago
- Global search algorithms for finding optimal tensor network contraction sequences.☆15Updated 4 years ago
- Reduction between computational hard problems.☆11Updated last week
- Tropical Numbers☆13Updated last year
- Reproduce the random circuit sampling experiments of Sycamore quantum circuit☆32Updated 3 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆72Updated this week
- The fastest Tropical number matrix multiplication on GPU☆10Updated last month
- Composable Tensor Network library in Julia☆29Updated this week
- A tutorial on Quantum Noise Characterization and Mitigation☆9Updated 2 years ago
- Lattice reduction and other lattice tools in Julia☆49Updated 2 weeks ago
- Variational Quantum Eigensolver with Fewer Qubits☆25Updated 5 years ago
- A tutorial for Yao.jl☆12Updated last year
- Tensor networks for quantum error correction.☆35Updated this week
- ☆15Updated 2 years ago
- moved to https://github.com/Zhaoyilunnn/qdao☆11Updated last year
- A tool for visualizing tensor network contractions.☆20Updated 3 years ago
- Toolbox for quantum information, nonlocality, and entanglement☆15Updated this week
- ☆22Updated 4 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆22Updated 2 years ago