Solving Manufacturing Cell Design Problems Using Constraint Programming. - Ricardo Soto 001; Håkan Kjellerstrand; Juan Gutiérrez; Alexis López; Broderick Crawford; Éric Monfroy (IEA/AIE, 2012)

Cell formation in group technology using constraint programming and Boolean satisfiability. - Ricardo Soto 001; Håkan Kjellerstrand; Orlando Durán; Broderick Crawford; Éric Monfroy; Fernando Paredes (Expert Syst. Appl., 2012)

Constraint Solving and Planning with Picat - Neng-Fa Zhou; Håkan Kjellerstrand; Jonathan Fruhman (Springer, 2015)

The Picat-SAT Compiler. - Neng-Fa Zhou; Håkan Kjellerstrand (PADL, 2016)

Optimizing SAT Encodings for Arithmetic Constraints. - Neng-Fa Zhou; Håkan Kjellerstrand (CP, 2017)

Prolog for Scientific Explanation. - Jean-Christophe Rohner; Håkan Kjellerstrand (Prolog: The Next 50 Years, 2023)

Discovering the underlying analytic structure within Standard Model constants using artificial intelligence. - Sergei V. Chekanov; Håkan Kjellerstrand (CoRR, 2025)

Picat Through the Lens of Advent of Code. - Neng-Fa Zhou; Cristian Grozea; Håkan Kjellerstrand; Oisín Mac Fhearaí (CoRR, 2025)