URL:  https://wwwfr.uni.lu/universite/actualites/evenements/research_seminar_on_the_unreasonable_effectiveness_of_boolean_sat_solvers Date:  vendredi 23 février 2018 22:57:49