3 ms·
You'd need a fancy encoding for SAT to use a small DPLL implementation. Otherwise, customize DPLL for this particular problem.
by nextos 1y ago
You'd need a fancy encoding for SAT to use a small DPLL implementation.
Otherwise, customize DPLL for this particular problem.