New Techniques in Clausal Form Generation.

Giles Reger Martin Suda Andrei Voronkov

Published in: GCAI (2016)

Keyphrases

theorem proving
face recognition
database
multiscale
natural language
case based reasoning
generation process
decomposable negation normal form