Håkan Kjellerstrand

Håkan Kjellerstrand

Leshan Normal University - Leshan / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4692788
乐山师范学院
person_outline Håkan Kjellerstrand's MOST POPULAR ARTICLES
1-) Constraint solving and planning with PicatNF Zhou, H Kjellerstrand, J FruhmanSpringer International Publishing, 2015692015
2-) Cell formation in group technology using constraint programming and Boolean satisfiabilityR Soto, H Kjellerstrand, O Durán, B Crawford, E Monfroy, F ParedesExpert Systems with Applications, 2012432012
3-) The picat-sat compilerNF Zhou, H KjellerstrandInternational Symposium on Practical Aspects of Declarative Languages, 48-62, 2016302016
4-) Optimizing SAT encodings for arithmetic constraintsNF Zhou, H KjellerstrandPrinciples and Practice of Constraint Programming: 23rd International …, 2017322017
5-) Solving manufacturing cell design problems using constraint programmingR Soto, H Kjellerstrand, J Gutiérrez, A López, B Crawford, E MonfroyAdvanced Research in Applied Artificial Intelligence: 25th International …, 2012222012