Splatz , Lingeling , Plingeling , Treengeling , YalSAT Entering the SAT Competition 2016

@inproceedings{Biere2016SplatzL,
  title={Splatz , Lingeling , Plingeling , Treengeling , YalSAT Entering the SAT Competition 2016},
  author={Armin Biere},
  year={2016}
}
This paper serves as solver description for our new SAT solver Splatz and further documents the versions of our other solvers submitted to the SAT Competition 2016, which are Lingeling, its two parallel variants Treengeling and Plingeling, and our local search solver YalSAT. 
Highly Cited
This paper has 44 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 19 extracted citations

References

Publications referenced by this paper.