A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding
Authors: Neng-Fa Zhou and Håkan Kjellerstrand
Paper Information
| Title: | A Picat-based XCSP Solver - from Parsing, Modeling, to SAT Encoding |
| Authors: | Neng-Fa Zhou and Håkan Kjellerstrand |
| Proceedings: | LPOP Position Papers |
| Editors: | K. Tuncay Tekle and Marc Denecker |
| Keywords: | CSP Solver, Picat, SAT |
| Abstract: | ABSTRACT. This document gives an overview of a Picat-based XCSP3 solver, named PicatSAT, submitted to the 2018 XCSP competition. The solver demonstrates the strengths of Picat, a logic-based language, in parsing, modeling, and encoding constraints into SAT. |
| Pages: | 3 |
| Talk: | Jul 18 15:10 (Session 127E: Challenge Solutions and Constraint Solving) |
| Paper: |  |