Two Proofs for Shallow Packings.

Kunal Dutta Esther Ezra Arijit Ghosh

Published in: SoCG (2015)

Keyphrases

natural language processing
theorem prover
theorem proving
formal proofs
question answering
equational theories
data structure
knowledge base
decision trees
information technology
formal proof