1. Optilog V2: model, solve, tune and run;Alos,2022
2. A max-sat-based approach to constructing optimal covering arrays;Ansótegui;Front. Artif. Intell. Appl.,2013
3. Mapping problems with finite-domain variables into problems with Boolean variables;Ansótegui,2004
4. Incomplete MaxSAT approaches for combinatorial testing;Ansótegui;J. Heuristics,2022
5. Building high strength mixed covering arrays with constraints;Ansótegui,2021