Min-Max Inequalities and the Timing Verification Problem with Max and Linear Constraints.

Yiping Cheng Da-Zhong Zheng

Published in: Discret. Event Dyn. Syst. (2005)

Keyphrases

min max
linear constraints
binary variables
asynchronous circuits
constraint databases
max min
sufficient conditions
nonlinear programming
model checking
linearly constrained
equality constraints
quadratic program
bayesian networks