Model Enumeration via Assumption Literals.

Mario Alviano Carmine Dodaro

Published in: Fundam. Informaticae (2019)

Keyphrases

probabilistic model
objective function
cost function
neural network
parameter estimation
computational model
mathematical model
experimental data
test data
conceptual model
network model