人工智能系列讲座（三）：Building a Fast CSP Solver based on SAT

• 报告人：Neng-Fa Zhou 教授（纽约城市大学） +- 时间：2019年6月17日（星期一）10:00—11:00
• 地点：贵州大学博学楼701

报告摘要

介绍 Picat 中基于 SAT 的约束满足问题求解器 PicatSAT 的内部工作原理。该求解器曾在2018年 XCSP Competition 和 MiniZinc Challenge 中获奖。

报告人简介

Neng-Fa Zhou 教授任职于纽约城市大学布鲁克林学院及研究生中心，先后获得南京大学学士学位、九州大学硕士与博士学位。