TY - RPRT TI - Incomplete MaxSAT Approaches for Combinatorial Testing AU - Carlos Ansótegui AU - Felip Manyà AU - Jesus Ojeda AU - Josep M. Salvia AU - Eduard Torres PY - 2021 UR - https://arxiv.org/abs/2105.12552 ID - 2105.12552 ER -