IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING
Xavier Allamigeon
Affiliation: Inria and École Polytechnique
Web page: http://www.cmap.polytechnique.fr/~allamigeon
Pages in this Program
Program
Program for Friday, July 3rd