Resource-distribution via Boolean constraints

James Harland, David J. Pym. Resource-distribution via Boolean constraints. ACM Trans. Comput. Log., 4(1):56-90, 2003. [doi]

Abstract

Abstract is missing.