- 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++
gleb-kov / mprobsat Goto Github PK
View Code? Open in Web Editor NEWmerging variables technique + probSat
License: Other