Christoph M. Wintersteiger
AuthID: R-00H-88Y
1
TÃTULO: 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
AUTORES: Olaf Beyersdorff; Christoph M Wintersteiger;
PUBLICAÇÃO: 2018, FONTE: SAT, VOLUME: 10929
AUTORES: Olaf Beyersdorff; Christoph M Wintersteiger;
PUBLICAÇÃO: 2018, FONTE: SAT, VOLUME: 10929
INDEXADO EM: DBLP
2
TÃTULO: Lazy Decomposition for Distributed Decision Procedures PDF
AUTORES: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLICAÇÃO: 2011, FONTE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
AUTORES: Youssef Hamadi; João Marques Silva ; Christoph M. Wintersteiger;
PUBLICAÇÃO: 2011, FONTE: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., VOLUME: 72
INDEXADO EM: DBLP arXiv