http://fmv.jku.at/picosat/
https://doi.org/10.1109/FMCAD.2008.ECP.32
https://doi.org/10.3233/SAT190039
View/edit source (Markdown)