A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints

Sunil Kothari James L. Caldwell

Published in: UNIF (2010)

Keyphrases

probabilistic model
management system
genetic algorithm
computational model
statistical model
objective function
formal model
neural network
data model
probability distribution
experimental data
constraint satisfaction
sensitivity analysis
theorem proving
geometric constraints