On Reducing Clause DataBase in Glucose.

Chu Min Li Fan Xiao Ruchu Xu

Published in: IWIL@LPAR (2015)

Keyphrases

database
databases
relational databases
database systems
data model
information retrieval
artificial intelligence
oracle database
theorem prover