Labelled Superposition for PLTL.

Martin Suda Christoph Weidenbach

Published in: LPAR (2012)

Keyphrases

theorem proving
neural network
artificial intelligence
natural language
semi supervised
denoising