Portrait of Christoph M. Wintersteiger

Christoph M. Wintersteiger

Researcher

About

I’m a researcher in the Programming Principles and Tools Group, working on SAT solvers with the Constraint Reasoning Group and SMT solvers, e.g., the Z3 theorem prover.

Together with Aleksandar Zeljić and Philipp Rümmer, I received the IJCAR 2014 best paper award for our paper on Approximations for Model Construction!

Probabilistic Z3 has changed license and is now available on GitHub.

mcBV is now available on GitHub under the MIT license.

Projects

Decision-Making in Stem Cells

Established: January 18, 2016

Development proceeds via a sequence of decisions that cells have to make about whether to divide, to differentiate, or to migrate. Differentiation is the process by which a cell changes from one type to another, which enables the expansion of the different…

Publications

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Downloads

Decomposition-SAT

April 2014

A decomposition-based parallel SAT solver that decomposes SAT formulas efficiently and reconciles solutions between partitions by means of propositional (Craig) interpolation.

    Click the icon to access this download

  • Website