@inproceedings{ManciniMariMassinietal.2018, author = {Toni Mancini and Federico Mari and Annalisa Massini and Igor Melatti and Ivano Salvo and Stefano Sinisi and Enrico Tronci and Rainald Ehrig and Susanna R{\"o}blitz and Brigitte Leeners}, title = {Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction}, booktitle = {Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Workshop of the Federated Logic Conference 2018 (FLoC 2018), Oxford}, pages = {1 -- 16}, doi = {10.29007/g864}, year = {2018}, }