Christoph M. Wintersteiger
AuthID: R-00H-88Y
1
TITLE: 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-12, 2018, Proceedings
AUTHORS: Olaf Beyersdorff; Christoph M Wintersteiger;
PUBLISHED: 2018, SOURCE: SAT, VOLUME: 10929
AUTHORS: Olaf Beyersdorff; Christoph M Wintersteiger;
PUBLISHED: 2018, SOURCE: SAT, VOLUME: 10929
INDEXED IN: DBLP
2
TITLE: Lazy Decomposition for Distributed Decision Procedures PDF
AUTHORS: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLISHED: 2011, SOURCE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
AUTHORS: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLISHED: 2011, SOURCE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
INDEXED IN: DBLP arXiv