nicolen8489/ImmunizationRecords
Public repository.
Developer Profile
nicolen8489
Discovered public repositories for nicolen8489 in the GitHub catalog.
nicolen8489/AmbSAT
A hybrid solver combining MiniSAT and WalkSAT based on a unique notion of ambivalence.
nicolen8489/HybridTestBed
Public repository.
nicolen8489/Project-2
Modification to use walksat at time of ambivalence
nicolen8489/Benchmarks
These are benchmarks for testing...
nicolen8489/Test-Bed
Public repository.
nicolen8489/Project1
use WalkSAT to determine branch direction in DPLL