TCS-Meiji / PACE2017-TrackA
☆18Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for PACE2017-TrackA
- ☆10Updated 7 years ago
- ☆11Updated 2 years ago
- List of Treewidth solvers, instances, and tools☆33Updated 2 years ago
- Submission to PACE 17☆16Updated 7 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆48Updated last year
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 2 years ago
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆11Updated 2 years ago
- A tool for weighted model counting through tensor network contraction☆20Updated 3 years ago
- A coding theory library for Julia.☆26Updated this week
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆72Updated 8 months ago
- Tensor networks for quantum error correction.☆33Updated this week
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆48Updated last year
- Global search algorithms for finding optimal tensor network contraction sequences.☆14Updated 4 years ago
- Implementation of the tree width algorithms.☆15Updated this week
- The fastest Tropical number matrix multiplication on GPU☆9Updated 8 months ago
- Variational Quantum Eigensolver with Fewer Qubits☆25Updated 5 years ago
- ☆15Updated last year
- Reduction between computational hard problems.☆11Updated this week
- Quantum circuit analysis toolkit☆58Updated this week
- A tutorial for Yao.jl☆12Updated last year
- Tropical tensor network for spin glasses☆54Updated 2 years ago
- Einsum Expressions in Julia☆10Updated 3 months ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆70Updated 4 months ago
- ☆13Updated 3 months ago
- Reproduce the random circuit sampling experiments of Sycamore quantum circuit☆31Updated 3 years ago
- Tropical Numbers☆13Updated last year
- Qecsim is a Julia package for simulating quantum error correction using stabilizer codes.☆23Updated 2 years ago
- Generic tensor networks for solution space properties.☆97Updated 4 months ago
- Management of Benchmark Instances and Instance Attributes☆17Updated 3 weeks ago
- moved to https://github.com/Zhaoyilunnn/qdao☆11Updated last year