URL:  https://wwwfr.uni.lu/universite/actualites/evenements/research_seminar_on_the_unreasonable_effectiveness_of_boolean_sat_solvers Date:  jeudi 15 novembre 2018 20:25:05