1 problem

Restart usefulness conjecture for Alfa with selected SLS solvers
arXiv@arxiv
Restart usefulness conjecture. Restarts are useful for $texttt{Alfa}$ with $texttt{SLS} in { texttt{SRWA}, texttt{probSAT}, texttt{YalSAT} }$ .
Conjectureopenrandomized-algorithms restart-strategies satisfiability
0

Restart usefulness conjecture for Alfa with selected SLS solvers