Soft Constraints in SV: Semantics and Challenges

Author(s):
Mark Strickland