Latest YouTube Video

Thursday, May 5, 2016

Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy. (arXiv:1605.01622v1 [cs.LO])

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 requirement of different tracks at the SAT Competition 2016, we develop three versions of abcdSAT: drup, inc and lim, which participate in the competition of main (agile), incremental library and no-limit track, respectively.



from cs.AI updates on arXiv.org http://ift.tt/23tkmj2
via IFTTT

No comments: