Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 9...

por Beyersdorff, Olaf, Wintersteiger, Christoph M
Publicado 2018

An Approximation Framework for Solvers and Decision Procedures

por Zeljić, Aleksandar, Wintersteiger, Christoph M., Rümmer, Philipp
Publicado 2016

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data

por Woodhouse, Steven, Piterman, Nir, Wintersteiger, Christoph M., Göttgens, Berthold, Fisher, Jasmin
Publicado 2018