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

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'The second reactive synthesis competition (SYNTCOMP 2015)'. Together they form a unique fingerprint.

Computer Science

Biochemistry, Genetics and Molecular Biology