Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search

Open in new window