21. CADE 2007: Bremen, Germany - ESARLT

Geoff Sutcliffe, Josef Urban, Stephan Schulz (Eds.): Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. CEUR Workshop Proceedings 257 CEUR-WS.org 2007 BibTeX

Leonardo Mendonça de Moura:
Invited talk: Developing Efficient SMT Solvers.
Electronic Edition (link) BibTeX
Tim Hinrichs, Michael R. Genesereth:
Extensional Reasoning.
Electronic Edition (link) BibTeX
Petr Pudlak:
Semantic Selection of Premisses for Automated Theorem Proving.
Electronic Edition (link) BibTeX
Josef Urban:
MaLARea: a Metasystem for Automated Reasoning in Large Theories.
Electronic Edition (link) BibTeX
Keith Goolsbey:
Invited talk: Cyc Design Challenges and Solutions.
Electronic Edition (link) BibTeX
Adam Pease, Geoff Sutcliffe:
First Order Reasoning on a Large Ontology.
Electronic Edition (link) BibTeX