![]() ![]() Neng-Fa Zhou: Video Programming in Picat (RuleML 2016).Neng-Fa Zhou: Video Tutorial "Programming in Picat" (FLOPS16): Part 1, Part 2, Part 3.Neng-Fa Zhou, Håkan Kjellerstrand: A Picat-based XCSP Solver - from Parsing,Modeling, to SAT Encoding (LPOP 2020). ![]() Paper (PADL16) Neng-Fa Zhou, Håkan Kjellerstrand: The Picat-SAT Compiler, Presentation.Sergii Dymchenko in Linux Journal: An Introduction to Tabled Logic Programming with Picat.Sergii Dymchenko, Mariia Mykhailova: Declaratively solving Google Code Jam problems with Picat (arXiv). ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |