Pinned Repositories
3SAT-with-QUBO
AnalogSat
Simulations of continuous-time dynamical systems (CTDS) that solve Boolean satisfiability (SAT) problems.
DWave-Experiments
Public repo for D-Wave developer time access
dwave-hybrid
Hybrid Asynchronous Decomposition Sampler prototype framework.
HyBRIMSat
A minimalistic and high-performance SAT solver
kissat
MQLib
Implementations of heuristics for the Max-cut and QUBO problems in C++
mxburns2022.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
networkx
Network Analysis in Python
NWQ-Sim
mxburns2022's Repositories
mxburns2022/3SAT-with-QUBO
mxburns2022/AnalogSat
Simulations of continuous-time dynamical systems (CTDS) that solve Boolean satisfiability (SAT) problems.
mxburns2022/DWave-Experiments
Public repo for D-Wave developer time access
mxburns2022/dwave-hybrid
Hybrid Asynchronous Decomposition Sampler prototype framework.
mxburns2022/HyBRIMSat
A minimalistic and high-performance SAT solver
mxburns2022/kissat
mxburns2022/MQLib
Implementations of heuristics for the Max-cut and QUBO problems in C++
mxburns2022/mxburns2022.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
mxburns2022/networkx
Network Analysis in Python
mxburns2022/NWQ-Sim
mxburns2022/probSAT
The probSAT SAT Solver
mxburns2022/ECE-405
mxburns2022/GALIC-Data
mxburns2022/pyconnect
Software for producing disconnectivity and metric disconnectivity graphs, and for calculating the principal components of chemical systems.
mxburns2022/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
mxburns2022/qbsolv
Qbsolv,a decomposing solver, finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem by splitting it into pieces solved either via a D-Wave system or a classical tabu solver. (Note that qbsolv by default uses its internal classical solver. Access to a D-Wave system must be arranged separately.)
mxburns2022/qsim
Schrödinger and Schrödinger-Feynman simulators for quantum circuits.
mxburns2022/sat_demo
mxburns2022/SimulatedAnnealing
mxburns2022/SV-Sim
SV-Sim: Scalable PGAS-based State Vector Simulation of Quantum Circuits
mxburns2022/xacc
XACC - eXtreme-scale Accelerator programming framework