Håkan Kjellerstrand

Orcid: 0000-0003-1804-7117

According to our database1, Håkan Kjellerstrand authored at least 6 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Prolog for Scientific Explanation.
Proceedings of the Prolog: The Next 50 Years, 2023

2017
Optimizing SAT Encodings for Arithmetic Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
The Picat-SAT Compiler.
Proceedings of the Practical Aspects of Declarative Languages, 2016

2015
Constraint Solving and Planning with Picat
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.
Expert Syst. Appl., 2012

Solving Manufacturing Cell Design Problems Using Constraint Programming.
Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012


  Loading...