ENGINEST specializes in operations research, artificial intelligence, and data processing technologies. The outcome of this research is NCL, a Turing-complete mathematical language designed to model industrial problems in a logical and intuitive manner.

Distinctive advantages:

    Mathematical parser and debugger: AI techniques for recognizing natural mathematical expressions in first-order logic;

    Hybrid set programming: solving problems over domains such as real numbers, integers, booleans, strings, sets, dates/times, etc.

Publications:

 J. Zhou: The NCL Natural Constraint Language. Springer, ISBN 978‑3‑642‑23844‑4 (2012).

 J. Zhou: The NCL Natural Constraint Language. Science Press Beijing, ISBN 978‑7‑03‑024973‑9 (2009).

 J. Zhou: Introduction to the constraint language NCL. Journal of Logic Programming. 45(1–3): 71–103 (2000).

 J. Zhou: A unified framework for solving Boolean, integer & set constraints. Proc. of Third International Conference on Systems Science & Systems Engineering: 205–210 (1998).