Publications

Displaying results 1 to 10 of 85

ISBN 978-3-030-20323-8 Springer International Publishing 2020.

To the publication

In: 48th IEEE International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2018) May 16-18 Linz Austria 2018.

To the publication

In: The Genetic and Evolutionary Computation Conference. The Genetic and Evolutionary Computation Conference (GECCO) July 15-19 Berlin Germany 2017.

To the publication

In: Information Processing Letters 139 Pages 1-7 Elsevier 2018.

To the publication

In: Formal Methods in Computer-Aided Design. Formal Methods in Computer-Aided Design (FMCAD-2016) October 3-6 Mountain View United States 2016.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz