Exploiting Resolution-Based Representations for MaxSAT Solving - Neves, Miguel; Martins, Ruben; Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco (Theory and Applications of Satisfiability Testing -- SAT 2015, 2015)
Keywords: Artificial intelligence; Computer science; Mathematical theory of computation