Sign in
Fast Proof Generation for Verifying Cloud Search.
Jingyu Zhou
Jiannong Cao
Bin Yao
Minyi Guo
Published in:
IPDPS (2015)
Keyphrases
</>
search algorithm
search methods
search strategy
artificial intelligence
search space
search strategies
user queries
search efficiency
proof search
database
data mining
relational databases
query processing
model checking
search queries
theorem prover