URL:  https://wwwfr.uni.lu/universite/actualites/evenements/research_seminar_on_the_unreasonable_effectiveness_of_boolean_sat_solvers Date:  mardi 21 août 2018 23:10:44