A Logical Constraint-based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks. - Quoc-Trung Vuong; Roselyne J. Chauvin; Sergiu Ivanov 001; Nicolas Glade; Laurent Trilling (COMPLEX NETWORKS, 2017)