Unification of Budgeting and Placement.

Majid Sarrafzadeh David A. Knol Gustavo E. Téllez

Published in: DAC (1997)

Keyphrases

theorem proving
higher order
databases
optimal placement
data sets
multi agent systems
artificial neural networks
dynamic programming
distributed systems
equational theories