The Potential of Restarts for ProbSAT

von Lorenz, Jan-Hendrik
Veröffentlicht in EUROCAST (17. : 2019 : Las Palmas de Gran Canaria) Computer aided systems theory - EUROCAST 2019 ; Part 1 (2020)

On the Effect of Learned Clauses on Stochastic Local Search

von Lorenz, Jan-Hendrik
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)