INGELING and Friends Entering the SAT Challenge 2012

@inproceedings{Biere2012INGELINGAF,
  title={INGELING and Friends Entering the SAT Challenge 2012},
  author={Armin Biere},
  year={2012}
}
Compared to the version submitted to the SAT competition 2011 and described in [1], we removed complicated algorithms and features, which did not really have any observable impact on the run-time for those benchmarks we tried. In particular, various versions of distillation inprocessors were removed. Regarding inprocessing [4], there are two new probing variants. One is called simple probing and tries to learn hyper binary resolutions eagerly. The other variant is based on tree-based look-ahead… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS