ask others

Håkan Kjellerstrand

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/ZhouK17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/ZhouK17
Neng-Fa Zhou, Håkan Kjellerstrand:
Optimizing SAT Encodings for Arithmetic Constraints. CP 2017: 671-686
2016
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/padl/ZhouK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/padl/ZhouK16
Neng-Fa Zhou, Håkan Kjellerstrand:
The Picat-SAT Compiler. PADL 2016: 48-62
2015
[b1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/sbis/ZhouKF15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/sbis/ZhouKF15
Neng-Fa Zhou, Håkan Kjellerstrand, Jonathan Fruhman:
Constraint Solving and Planning with Picat. Springer Briefs in Intelligent Systems, Springer 2015, ISBN 978-3-319-25881-2, pp. 1-139
2012
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/eswa/SotoKDCMP12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eswa/SotoKDCMP12
Ricardo Soto, Håkan Kjellerstrand, Orlando Durán, Broderick Crawford, Eric Monfroy, Fernando Paredes:
Cell formation in group technology using constraint programming and Boolean satisfiability. Expert Syst. Appl. 39(13): 11423-11427 (2012)
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ieaaie/SotoKGLCM12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ieaaie/SotoKGLCM12
Ricardo Soto, Håkan Kjellerstrand, Juan Gutiérrez, Alexis López, Broderick Crawford, Eric Monfroy:
Solving Manufacturing Cell Design Problems Using Constraint Programming. IEA/AIE 2012: 400-406

Coauthor Index

see FAQ

maintained by

at