TCS-Meiji / PACE2017-TrackA
☆20Updated 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
- ☆10Updated 7 years ago
- List of Treewidth solvers, instances, and tools☆34Updated 2 years ago
- Submission to PACE 17☆17Updated 2 months ago
- ☆13Updated 3 years ago
- A tool for weighted model counting through tensor network contraction☆21Updated 3 years ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆16Updated 11 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆52Updated last year
- Management of Benchmark Instances and Instance Attributes☆19Updated 5 months ago
- This repository contains code for the following paper: Five Starter Pieces: Quantum Information Science via Semi-definite Programs. arXiv…☆21Updated 3 years ago
- Entry to model counting competition 2021.☆20Updated 9 months ago
- Automated discovery of optimal branching rules for the branch-and-bound algorithm☆13Updated this week
- Implementation of the tree width algorithms.☆18Updated 3 months ago
- Einsum Expressions in Julia☆11Updated last month
- Tropical Numbers☆14Updated 3 weeks ago
- NCTSSOS is a non-commutative polynomial optimization tool based on the moment-SOHS hierarchy.☆13Updated this week
- Global search algorithms for finding optimal tensor network contraction sequences.☆16Updated 5 years ago
- Coding every Saturday 5PM-8PM at Maker Space, HKUST (GZ)☆13Updated last year
- TensorOperations and cuTENSOR combined☆13Updated 5 years ago
- Julia package for contraction of tensor networks, based on the sweep line algorithm outlined in the paper "General tensor network decodin…☆49Updated last year
- Reduction between computational hard problems.☆11Updated this week
- A Julia library for computing tree decompositions and chordal completions of graphs.☆14Updated last week
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆23Updated 2 years ago
- A tutorial for Yao.jl☆12Updated last year
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆74Updated last month
- The fastest Tropical number matrix multiplication on GPU☆10Updated 3 months ago
- A coding theory library for Julia.☆30Updated 3 weeks ago
- The Hackable Tensor Network library☆32Updated this week
- Conic solver for optimization problems in quantum information theory☆14Updated this week
- Variational Quantum Eigensolver with Fewer Qubits☆25Updated 5 years ago
- ☆24Updated 4 years ago