3 ms·
Seems like it might be worth taking some lessons from SAT solvers. e.g. backjumping and clause learning.
by eutectic 5y ago
Seems like it might be worth taking some lessons from SAT solvers. e.g. backjumping and clause learning.
loading thread…