Wintersteiger, Christoph M.

2 publications

AAAI 2015 Stochastic Local Search for Satisfiability Modulo Theories Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi

AAAI 2012 Seven Challenges in Parallel SAT Solving Youssef Hamadi, Christoph M. Wintersteiger