TítolA Modularity-Based Random SAT Instances Generator
Publication TypeConference Paper
Year of Publication2015
AuthorsGiráldez-Cru J, Levy J
Conference NameProc. of the 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15
URLhttp://ijcai.org/Abstract/15/277