His research interests include modeling and solving decision and optimization problems, through the application of constraint programming techniques, in particular, those from satisfiability, satisfiability modulo theories or maximum satisfiability. He has coauthored several papers on efficient solvers for the MaxSAT problem. These solvers have ranked among the best at the international MaxSAT Evaluation.