Abstract: Model Checking (MC) and Constraint Programming (CP) are complementary techniques with the potential for mutual improvement. In this paper, we focus on leveraging on-the-fly MC techniques to ...

Abstract: Fuzzy constraint programming is implemented to optimize a cost function facing vague constraints. In this paper, for the first time, a novel distributed constraint programming is developed ...

I cannot find a way to use this tool with visual studio on Mac. Can you help me to link c++ project with cplex?

Several genome-scale metabolic reconstruction (GSMR) tools have been developed in the last decades. These tools have helped to construct many metabolic models, which had contributed to a variety of ...

Uncertainties are widespread in the optimization of process systems, such as uncertainties in process technologies, prices, and customer demands. In this paper, we review the basic concepts and recent ...