no code implementations • 8 Oct 2013 • Anton Belov, Antonio Morgado, Joao Marques-Silva
The key requirement in this setting is that the preprocessing has to be sound, i. e. so that the solution can be reconstructed correctly and efficiently after the execution of a MaxSAT algorithm on the preprocessed instance.