I think you'd have to write out the parameterizations you're considering and see. For new application domains, it can be non-intuitive what will work vs. what won't, and once you have something that takes you outside of the system's capabilities, you really end up needing a different approach. I'm not particularly optimistic about things like this, but would have to spend a bunch of time on the ways to represent the system to convince myself it's applicable or not.
That written, it seems like a simple local propagation solver might be able to do just fine here. LP is essentially like Excel formulas... you get any computable function, but "simply" have to avoid creating cycles in the computation. That's sometimes harder than it sounds, but for your application it might be fine.
Good luck!
Greg