Jerry Lonlac, Engelbert Mephu Nguifo. Top-k Learned Clauses for Modern SAT Solvers. International Journal on Artificial Intelligence Tools, 32(1), February 2023. [doi]
@article{LonlacN23, title = {Top-k Learned Clauses for Modern SAT Solvers}, author = {Jerry Lonlac and Engelbert Mephu Nguifo}, year = {2023}, month = {February}, doi = {10.1142/S0218213023500033}, url = {https://doi.org/10.1142/S0218213023500033}, researchr = {https://researchr.org/publication/LonlacN23}, cites = {0}, citedby = {0}, journal = {International Journal on Artificial Intelligence Tools}, volume = {32}, number = {1}, }