gleb-kov / mprobsat

merging variables technique + probSat

Merging variables technique + probSAT solver

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