brad-lackey

Microsoft QuantumRedmond, WA

Pinned Repositories

substochastic-sat
Substochastic Monte Carlo applied to MAX-SAT
Language:C64
npp-sieve
A simple heuristic sieve for solving the NPP.
Language:C00

brad-lackey's Repositories

brad-lackey/npp-sieve
A simple heuristic sieve for solving the NPP.
Language:C
brad-lackey/substochastic-sat
Substochastic Monte Carlo applied to MAX-SAT
Language:C64