😄
- Vancouver, BC, CA
Stars
3
stars
written in C
Clear filter
RobertCsordas / MobilECG-II
Forked from openmeddev/MobilECG-IIOpen source ECG holter
Substochastic Monte Carlo applied to MAX-SAT
A heuristic solver for maxsat problems using a diffusion Monte Carlo simulation of adiabatic optimization.