Influence blocking maximization under refutation.

Qi Luo Dongxiao Yu Dongbiao Wang Yafei Zhang Yanwei Zheng Zhipeng Cai

Published in: Soc. Netw. Anal. Min. (2023)

Keyphrases

theorem proving
theorem prover
objective function
record linkage
high level
factors that influence
individual differences
search algorithm
automated theorem proving
inductive inference
special case
database
bayesian networks
case study
decision trees
multimedia
computer vision