| http://www.w3.org/ns/prov#value | - For, it can be easily shown that any satisficing problem of the form r(d,u) ??? r*, ???u???U(??,???) can be re-formulated as an (equivalent) optimization problem such that any optimal solution to the latter is a feasible solution to the former and vice versa.
|
