Publikationen

Zeige Ergebnisse 11 bis 20 von 84

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: 12th International Workshop on Boolean Problems. International Workshop on Boolean Problems (IWSBP-12) September 22-23 Freiberg Germany 2016.

Zur Publikation

In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD) November 7-10 Austin United States 2016.

Zur Publikation

In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS) Seiten 328-333 IEEE 2013.

Zur Publikation

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

Zur Publikation

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

Zur Publikation

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