Zaher Andraus
AuthID: R-007-1TR
1
TÃTULO: A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas Full Text
AUTORES: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLICAÇÃO: 2009, FONTE: CONSTRAINTS, VOLUME: 14, NÚMERO: 4
AUTORES: Liffiton, M; Mneimneh, M; Lynce, I ; Andraus, Z; Marques Silva, J ; Sakallah, K;
PUBLICAÇÃO: 2009, FONTE: CONSTRAINTS, VOLUME: 14, NÚMERO: 4