Search Machine Learning Repository: An Instantiation-Based Theorem Prover for First-Order Programming
Authors: Erik Zawadzki, Geoffrey J. Gordon and André Platzer
Conference: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics (AISTATS-11)
Year: 2011
Pages: 855-863
[pdf] [BibTeX]

authors venues years
Suggest Changes to this paper.
Brought to you by the WUSTL Machine Learning Group. We have open faculty positions (tenured and tenure-track).