Login / Signup
Some synergized clause selection strategies for contradiction separation based automated deduction.
Shuwei Chen
Yang Xu
Yan Jiang
Jun Liu
Xingxing He
Published in:
ISKE (2017)
Keyphrases
</>
automated deduction
selection strategies
theorem prover
selection strategy
theorem proving
search strategies
inference rules
first order logic
deductive databases
logic programming
search space
database
feature vectors
high level
artificial intelligence
information retrieval
machine learning