On the one hand, Constraint Satisfaction Problems allow one to declaratively model problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances. We thus present a technique to declaratively model set constraint problems and to encode them automatically into SAT instances. We apply our technique to the Social Golfer Problem and we also use it to break symmetries of the problem. Our technique is simpler, more declarative, and less error-prone than direct and improved hand modeling. The SAT instances that we automatically generate contain less clauses than improved hand-written instances such as in [20], and with unit propagation they also contain less variables. Moreover, they are well-suited for SAT solvers and they are solved faster as shown when solving difficult instances of the Social Golfer Problem.

We present a novel cosmological framework that unifies matter creation dynamics with thermodynamic principles. Starting with a single-component fluid characterized by a constant equation of state parameter, $\omega$, we introduce a generalized second law of thermodynamics by considering the entropy associated with the cosmic horizon. Imposing an adiabatic expansion condition uniquely determines the particle creation rate, $\Gamma$, a feature unprecedented in previous matter creation models. This mechanism yields a cosmology featuring phantom-like expansion while relying solely on a single constituent, which can be either a quintessence-like fluid or a non-exotic, non-relativistic dark matter component. Remarkably, this framework avoids the need for exotic physics while providing a consistent explanation for the accelerated expansion of the universe. Our results open new pathways for understanding the interplay between horizon thermodynamics, particle creation, and cosmic evolution, offering fresh insights into the nature of dark energy and its potential thermodynamic origins.