URL:  https://wwwfr.uni.lu/universite/actualites/evenements/research_seminar_on_the_unreasonable_effectiveness_of_boolean_sat_solvers Date:  samedi 16 février 2019 23:03:40