Many problems of interest for cyber-physical network systems can be formulated as mixed-integer linear programs in which the constraints are distributed among the agents. In this paper, we propose a ...

This paper investigates the latticized linear programming that is subject to the fuzzy-relation inequality (FRI) constraints with the max-min composition by using the semi-tensor product method, and ...

EasyCSP is an open-source Java library for Constraint Satisfaction Programming. Supports CSPs, CSOPs, discrete object domains, int interval domains, int constraint binarization. Examples include ...

Hess, B., Bekker, H., Berendsen, H.J.C. and Fraaije, J.G.E.M. (1997) LINCS A Linear Constraint Solver for Molecular Simulations. Journal of Computational Chemistry ...