Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy. 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.
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Kochemazov, Stepan; Zaikin, Oleg: ALIAS: a modular tool for finding backdoors for SAT (2018)
- Audemard, Gilles; Simon, Laurent: Extreme cases in SAT problems (2016)
- Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten: SAT race 2015 (2016)