3 ms·OTOH, you can't write a Boolean SAT solver without backtracking.by sangnoir 2y agoOTOH, you can't write a Boolean SAT solver without backtracking.