arXiv Open Access 2018

SAT solving techniques: a bibliography

Louis Abraham

Lihat Sumber

Abstrak

We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.

cs.LO

Louis Abraham

APA MLA BibTeX

Abraham, L. (2018). SAT solving techniques: a bibliography. https://arxiv.org/abs/1802.05159

Lihat di Sumber

Informasi Jurnal