Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy

Jingchao Chen

We improve further the 2015 version of abcdSAT by various heuristics such as at-least-one recently used strategy, learnt clause database approximation reduction etc. Based on the r…