Håkan Kjellerstrand
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2017
- [c3]Neng-Fa Zhou, Håkan Kjellerstrand:
Optimizing SAT Encodings for Arithmetic Constraints. CP 2017: 671-686 - 2016
- [c2]
- 2015
- [b1]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]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]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
last updated on 2019-01-09 01:05 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint