The second reactive synthesis competition (SYNTCOMP 2015)

Swen Jacobs, Roderick Bloem, Romain Brenguier, Guillermo A. Pérez, Jean François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker, Robert Könighofer

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „The second reactive synthesis competition (SYNTCOMP 2015)“. Zusammen bilden sie einen einzigartigen Fingerprint.

Earth and Planetary Sciences

Chemistry

Agricultural and Biological Sciences

Computer Science

Biochemistry, Genetics and Molecular Biology