ENGINEST se spécialise dans les technologies de la recherche opérationnelle, de l'intelligence artificielle et du traitement de données. Le fruit de ces recherches est NCL, un langage mathématique, Turing-complet, conçu pour modéliser des problèmes industriels de manière logique et intuitive.

Atouts distinctifs :

Parseur et débogueur mathématique : techniques d'IA pour la reconnaissance d'expressions mathématiques naturelles en logique du premier ordre ;

Programmation ensembliste hybride : résolution des problèmes dans les domaines de réels, entiers, booléens, chaines des caractères, ensembles, dates/temps, 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).