TY - RPRT TI - Using Integer Constraint Solving in Reuse Based Requirements Engineering AU - Camille Salinesi AU - Raul Mazo AU - Daniel Diaz AU - Olfa Djebbi PY - 2023 DO - 10.1109/re.2010.36 UR - https://arxiv.org/abs/2309.16279 ID - 2309.16279 ER -