no code implementations • 27 Oct 2021 • Sima Jamali, David Mitchell
Recent solvers in the MapleSAT family, have comparatively complex deletion scheme, and perform well.