Format:
UNSAT
SAT
https://www.labri.fr/perso/lsimon/glucose/
https://www.aaai.org/ocs/index.php/IJCAI/IJCAI-09/paper/view/536/675
https://doi.org/10.1007/978-3-319-09284-3_15
View/edit source (Markdown)