Håkan Kjellerstrand

Using logic programming for theory representation and scientific inference

Håkan Kjellerstrand, Jean-Christophe Rohner, Håkan Kjellerstrand, 2021 .

Constraint Solving and Planning with Picat

Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman, 2015, SpringerBriefs in Intelligent Systems.

Solving several planning problems with Picat

Neng-Fa Zhou, Hakan Kjellerstrand, Neng-Fa Zhou, 2014, The 26th Chinese Control and Decision Conference (2014 CCDC).

Cell formation in group technology using constraint programming and Boolean satisfiability

Orlando Durán, Broderick Crawford, Ricardo Soto, 2012, Expert Syst. Appl..

Solving Manufacturing Cell Design Problems Using Constraint Programming

Broderick Crawford, Ricardo Soto, Eric Monfroy, 2012, IEA/AIE.

Optimizing SAT Encodings for Arithmetic Constraints

Neng-Fa Zhou, Håkan Kjellerstrand, Neng-Fa Zhou, 2017, CP.

The Picat-SAT Compiler

Neng-Fa Zhou, Håkan Kjellerstrand, Neng-Fa Zhou, 2016, PADL.