AI Lecture 3: Building a Fast CSP Solver based on SAT

Yisong Wang
Jun 17, 2019 1 min read
Artificial Intelligence Lecture 3
  • Speaker: Prof. Neng-Fa Zhou (CUNY) +- Time: June 17, 2019 (Monday), 10:00–11:00
  • Venue: Room 701, Boxue Building, Guizhou University

Abstract

This tutorial introduces the inner workings of PicatSAT, a SAT-based CSP solver in Picat that won prizes in the 2018 XCSP Competition and MiniZinc Challenge.

Speaker biography

Prof. Zhou teaches Computer and Information Science at Brooklyn College and the Graduate Center, CUNY. He earned his bachelor’s degree from Nanjing University and his master’s and doctoral degrees from Kyushu University.

Artificial Intelligence Academic Lectures
Yisong Wang
Yisong Wang
Professor

Professor at the College of Computer Science and Technology, Guizhou University． His main research interests include knowledge representation andreasoning,machine learning and artificial intelligence．