Generalized Partial Computation using Disunification to Solve Constraints.

Published in: CTRS (1992)

Keyphrases

horn clauses
integer program
real time
graphical models
constraint satisfaction
constrained optimization
global constraints
linear constraints
natural language
constraint programming
constraint networks
mixed integer program