Search Machine Learning Repository:
All publications by André Platzer
authors venues years



An Instantiation-Based Theorem Prover for First-Order Programming
Erik Zawadzki, Geoffrey J. Gordon and André Platzer
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics (AISTATS-11), 2011