Publikationen

Zeige Ergebnisse 31 bis 40 von 54

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

Zur Publikation

In: 25th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-25) June 10-11 Austin United States 2016.

Zur Publikation

In: Problems and New Solutions in the Boolean Domain. Seiten 327-341 Cambridge Scholars Publishing 2016.

Zur Publikation

In: International Symposium on Multiple-Valued Logic. International Symposium on Multiple-Valued Logic (AAAI SSS) IEEE 2016.

Zur Publikation

In: Genetic and Evolutionary Computation Conference. Genetic and Evolutionary Computation Conference (GECCO) July 20-24 Denver Colorado United States 2016.

Zur Publikation

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