Symbol Elimination and Applications to Parametric Entailment Problems.

Dennis Peuter Viorica Sofronie-Stokkermans

Published in: FroCoS (2021)

Keyphrases

np complete
related problems
bayesian networks
application domains
benchmark problems
solving problems
difficult problems
database
neural network
multi agent
simulated annealing