//-->
Solving weighted MAX-SAT via global equilibrium search
Shylo, Oleg V., (2008)
On Maximum Speedup Ratio of Restart Algorithm Portfolios
Mostovyi, Oleksii, (2013)