- MVT paper: https://arxiv.org/abs/1908.00751
- probSat paper: https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.190/Mitarbeiter/balint/SAT2012.pdf
- https://github.com/adrianopolus/probSAT partially reimplemented in C++
merging variables technique + probSat
merging variables technique + probSat
Other