Congratulations to Professor Neng-Fa Zhou!

Congratulations to Professor Neng-Fa Zhou from Brooklyn who is responsible for The Picat language. He and his team participated in this year’s Constraint Satisfaction problem (CSP) solver competitions, winning one gold and one bronze in the XCSP'18 [] contest and one silver and one bronze in the MiniZinc'18 [] contest. These competitions are international and the best CSP solver teams in the world compete for these prizes.

Submitted on: SEP 13, 2018

Category: Computer Science