FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Nadia Creignou
Organization: Aix-Marseille Université
Pages in this Program
Program
Program for Tuesday, July 10th
SAT on Tuesday, July 10th
SAT Program