Nadia Creignou
AuthID: R-00H-A45
1
TÃTULO: Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
AUTORES: Nadia Creignou; Daniel Le Berre;
PUBLICAÇÃO: 2016, FONTE: SAT, VOLUME: 9710
AUTORES: Nadia Creignou; Daniel Le Berre;
PUBLICAÇÃO: 2016, FONTE: SAT, VOLUME: 9710
INDEXADO EM: 
DBLP
DBLP