Håkan Kjellerstrand

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Constraint Programming

Search Strategies

Arc Consistency

Arithmetic Constraints

Top Venues

Expert Syst. Appl.

Publications

Neng-Fa Zhou, Håkan Kjellerstrand
Optimizing SAT Encodings for Arithmetic Constraints. CP (2017)
Neng-Fa Zhou, Håkan Kjellerstrand
The Picat-SAT Compiler. PADL (2016)
Ricardo Soto, Håkan Kjellerstrand, Juan Gutiérrez, Alexis López, Broderick Crawford, Éric Monfroy
Solving Manufacturing Cell Design Problems Using Constraint Programming. IEA/AIE (2012)
Ricardo Soto, Håkan Kjellerstrand, Orlando Durán, Broderick Crawford, Éric Monfroy, Fernando Paredes
Cell formation in group technology using constraint programming and Boolean satisfiability. Expert Syst. Appl. 39 (13) (2012)