Nadia Creignou
AuthID: R-00H-A45
1
TITLE: Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
AUTHORS: Nadia Creignou; Daniel Le Berre;
PUBLISHED: 2016, SOURCE: SAT, VOLUME: 9710
AUTHORS: Nadia Creignou; Daniel Le Berre;
PUBLISHED: 2016, SOURCE: SAT, VOLUME: 9710
INDEXED IN: 
DBLP
DBLP