Håkan Kjellerstrand

According to our database, Håkan Kjellerstrand authored at least 8 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Picat Through the Lens of Advent of Code.

Neng-Fa Zhou, Cristian Grozea, Håkan Kjellerstrand, Oisín Mac Fhearaí

CoRR, July, 2025

Discovering the underlying analytic structure within Standard Model constants using artificial intelligence.

Sergei V. Chekanov, Håkan Kjellerstrand

CoRR, July, 2025

2023

Prolog for Scientific Explanation.

Jean-Christophe Rohner, Håkan Kjellerstrand

Proceedings of the Prolog: The Next 50 Years, 2023

2017

Optimizing SAT Encodings for Arithmetic Constraints.

Neng-Fa Zhou, Håkan Kjellerstrand

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

The Picat-SAT Compiler.

Neng-Fa Zhou, Håkan Kjellerstrand

Proceedings of the Practical Aspects of Declarative Languages, 2016

2015

Constraint Solving and Planning with Picat

Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman

Springer Briefs in Intelligent Systems, Springer, ISBN: 978-3-319-25883-6, 2015

2012

Cell formation in group technology using constraint programming and Boolean satisfiability.

Ricardo Soto, Håkan Kjellerstrand, Orlando Durán, Broderick Crawford, Éric Monfroy, Fernando Paredes

Expert Syst. Appl., 2012

Solving Manufacturing Cell Design Problems Using Constraint Programming.

Ricardo Soto, Håkan Kjellerstrand, Juan Gutiérrez, Alexis López, Broderick Crawford, Éric Monfroy

Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012