An open-ended finite domain constraint solver M Carlsson, G Ottosson, B Carlson Programming Languages: Implementations, Logics, and Programs: 9th …, 1997 | 466 | 1997 |
The Aurora or-parallel Prolog system E Lusk, R Butler, T Disz, R Olson, R Overbeek, R Stevens, DHD Warren, ... New Generation Computing 7, 243-271, 1990 | 441 | 1990 |
SICStus Prolog user's manual M Carlsson, J Widen, J Andersson, S Andersson, K Boortz, H Nilsson, ... Swedish Institute of Computer Science 3 (1), 1988 | 390 | 1988 |
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12, 21-62, 2007 | 332 | 2007 |
Parallel execution of prolog programs: a survey G Gupta, E Pontelli, KAM Ali, M Carlsson, MV Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (4), 472-602, 2001 | 297 | 2001 |
Quality in programming: Views from the North KE Rosengren, M Carlsson, Y Tågerud Studies of broadcasting 27, 21-80, 1991 | 157 | 1991 |
Freeze, indexing, and other implementation issues in the WAM M Carlsson Swedish Institute of Computer Science, 1986 | 146 | 1986 |
Garbarge collection for Prolog based on WAM K Appleby, M Carlsson, S Haridi, D Sahlin Communications of the ACM 31 (6), 719-741, 1988 | 135 | 1988 |
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004 | 121 | 2004 |
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002 | 113 | 2002 |
Global constraint catalog N Beldiceanu, M Carlsson, JX Rampon Swedish Institute of Computer Science, 2010 | 111 | 2010 |
SICStus Prolog—the first 25 years M Carlsson, P Mildner Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012 | 98 | 2012 |
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006 | 95 | 2006 |
Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint N Beldiceanu, M Carlsson Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | 95 | 2001 |
Design and implementation of an OR-parallel Prolog engine. M Carlsson | 83 | 1992 |
On implementing Prolog in functional programming M Carlsson New Generation Computing 2, 347-359, 1984 | 68 | 1984 |
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects N Beldiceanu, M Carlsson, E Poder, R Sadek, C Truchet International Conference on Principles and Practice of Constraint …, 2007 | 61 | 2007 |
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz | 58 | 1994 |
Arc-consistency for a chain of lexicographic ordering constraints M Carlsson, N Beldiceanu Swedish Institute of Computer Science, 2002 | 56 | 2002 |
Constraint-based register allocation and instruction scheduling RC Lozano, M Carlsson, F Drejhammar, C Schulte International Conference on Principles and Practice of Constraint …, 2012 | 55 | 2012 |