Mechanization of Real-Time Linear CSP with Higher Order Logic.

James F. Peters III

Published in: Fundam. Informaticae (1997)

Keyphrases

real time
higher order logic
higher order
constraint satisfaction problems
theorem prover
constraint satisfaction
logical framework
search space
supervised learning
general purpose
probability distribution
np complete
constraint programming