Gilles Audemard, Laurent Simon. On the Glucose SAT Solver. International Journal on Artificial Intelligence Tools, 27(1):1-25, 2018. [doi]
@article{AudemardS18,
title = {On the Glucose SAT Solver},
author = {Gilles Audemard and Laurent Simon},
year = {2018},
doi = {10.1142/S0218213018400018},
url = {https://doi.org/10.1142/S0218213018400018},
researchr = {https://researchr.org/publication/AudemardS18},
cites = {0},
citedby = {0},
journal = {International Journal on Artificial Intelligence Tools},
volume = {27},
number = {1},
pages = {1-25},
}