| Constraint solving and planning with Picat NF Zhou, H Kjellerstrand, J Fruhman Springer International Publishing, 2015 | 82 | 2015 |
| Cell formation in group technology using constraint programming and Boolean satisfiability R Soto, H Kjellerstrand, O Durán, B Crawford, E Monfroy, F Paredes Expert Systems with Applications, 2012 | 49 | 2012 |
| The picat-sat compiler NF Zhou, H Kjellerstrand Practical Aspects of Declarative Languages: 18th International Symposium …, 2016 | 42 | 2016 |
| Optimizing SAT encodings for arithmetic constraints NF Zhou, H Kjellerstrand Principles and Practice of Constraint Programming: 23rd International …, 2017 | 32 | 2017 |
| Solving manufacturing cell design problems using constraint programming R Soto, H Kjellerstrand, J Gutiérrez, A López, B Crawford, E Monfroy Advanced Research in Applied Artificial Intelligence: 25th International …, 2012 | 22 | 2012 |
| Constraint solving and planning with picat NF Zhou, H Kjellerstrand, J Fruhman Springer, 2017 | 6 | 2017 |
| Using logic programming for theory representation and scientific inference JC Rohner, H Kjellerstrand New Ideas in Psychology 61, 100838, 2021 | 4 | 2021 |
| Picat: A logic-based multi-paradigm language H Kjellerstrand ALP ISSUE, Feature Articles, 2014 | 3 | 2014 |
| Solving several planning problems with Picat NF Zhou, H Kjellerstrand The 26th Chinese Control and Decision Conference (2014 CCDC), 346-350, 2014 | 3 | 2014 |
| My first look at Picat as a modeling language for constraint solving and planning H Kjellerstrand The 26th Chinese Control and Decision Conference (2014 CCDC), 351-358, 2014 | 2 | 2014 |
| Encodings for the Traveling Salesman Problem NF Zhou, H Kjellerstrand, J Fruhman, NF Zhou, H Kjellerstrand, ... Constraint Solving and Planning with Picat, 129-139, 2015 | 1 | 2015 |
| Tabling for Planning NF Zhou, R Bartak, A Dovier, H Kjellerstrand dings of ques for, 6, 2013 | 1 | 2013 |
| Prolog for Scientific Explanation JC Rohner, H Kjellerstrand Prolog: The Next 50 Years, 372-385, 2023 | | 2023 |
| A Picat-based XCSP Solver–from Parsing, Modeling, to SAT Encoding NF Zhou, H Kjellerstrand LPOP: Challenges and Advances in Logic and Practice of Programming, 70, 2020 | | 2020 |
| Planning with Resource-Bounded Search NF Zhou, H Kjellerstrand, J Fruhman, NF Zhou, H Kjellerstrand, ... Constraint Solving and Planning with Picat, 115-128, 2015 | | 2015 |
| Advanced Constraint Modeling NF Zhou, H Kjellerstrand, J Fruhman, NF Zhou, H Kjellerstrand, ... Constraint Solving and Planning with Picat, 53-82, 2015 | | 2015 |
| Dynamic Programming with Tabling NF Zhou, H Kjellerstrand, J Fruhman, NF Zhou, H Kjellerstrand, ... Constraint Solving and Planning with Picat, 83-99, 2015 | | 2015 |
| Basic Constraint Modeling NF Zhou, H Kjellerstrand, J Fruhman, NF Zhou, H Kjellerstrand, ... Constraint Solving and Planning with Picat, 33-51, 2015 | | 2015 |
| From Dynamic Programming to Planning NF Zhou, H Kjellerstrand, J Fruhman, NF Zhou, H Kjellerstrand, ... Constraint Solving and Planning with Picat, 101-113, 2015 | | 2015 |
| An Overview of Picat NF Zhou, H Kjellerstrand, J Fruhman, NF Zhou, H Kjellerstrand, ... Constraint Solving and Planning with Picat, 1-31, 2015 | | 2015 |
Neng-Fa ZhouProfessor of Computer Science, The City University of New YorkVerified email at sci.brooklyn.cuny.edu
