TitleUsing Community Structure to Detect Relevant Learnt Clauses
Publication TypeConference Paper
Year of Publication2015
AuthorsAnsótegui C, Giráldez-Cru J, Levy J, Simon L
Conference NameProc. of the 18th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'15
URLhttp://dx.doi.org/10.1007/978-3-319-24318-4_18
DOI10.1007/978-3-319-24318-4_18