- Full text PDF available (4)
- This year (1)
- Last 5 years (7)
- Last 10 years (7)
Journals and Conferences
SAT has become the backbone of many software systems. In order to make full use of the power of SAT solvers, a SAT compiler must encode domain variables and constraints into an efficient SAT formula. Despite many proposals for SAT encodings, there are few working SAT compilers. This paper presents Picat-SAT, the SAT compiler in the Picat system. Picat-SAT… (More)
Cell formation consists in organizing a plant as a set of cells, each of them containing machines that process similar types or families of parts. The idea is to minimize the part flow among cells in order to reduce costs and increase productivity. The literature presents different approaches devoted to solve this problem, which are mainly based on… (More)
Picat is a new and interesting programming language, combing many different programming paradigms: logic programming, imperative programming, functional programming, constraint programming, and tabling. This paper is a personal discussion of some of Picat's features with several code examples.
Picat is a new and interesting programming language, combing many different and exciting programming paradigms: logic programming, imperative programming, constraint programming, functional programming, tabling, and planning. This paper gives a personal discussion of some of Picat’s features with several code examples.