search

shaobo-he / SAT.rkt

Implementations of SLS-based SAT Solving Algorithms in Racket
Other
0 stars 0 forks source link

try non-deterministic choices of DPLL #2

Open shaobo-he opened 5 years ago

shaobo-he commented 5 years ago

Think about this problem: generate a sequence of satisfying instances where non-determinism is back-tracking.