Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.

Andreia P. Guerreiro, Miguel Terra-Neves, Ins Lynce, Jos Rui Figueira, Vasco Manquinho

Browse the full CP paper archive.