|
|
|
|
|
|
by ddinh
3126 days ago
|
|
|
I imagine you could encode the problem as a CSP with each of the legal/contractual factors as a constraint. Despite NP-hardness of CSPs in general, CSP solvers are pretty efficient if the constraints are sparse enough and not chosen adversarially. |
|
|