LPSAT: a unified approach to RTL satisfiability.

Zhihong Zeng Priyank Kalla Maciej J. Ciesielski

Published in: DATE (2001)

Keyphrases

resource planning
np complete
constraint solver
tabu search
atomic actions
computational complexity
workflow management
scheduling problem
physical database design
cross organizational
database design
service oriented