Folgen
Mats Carlsson
Mats Carlsson
RISE Research Institutes of Sweden
Bestätigte E-Mail-Adresse bei ri.se - Startseite
Titel
Zitiert von
Zitiert von
Jahr
An open-ended finite domain constraint solver
M Carlsson, G Ottosson, B Carlson
Programming Languages: Implementations, Logics, and Programs: 9th …, 1997
4591997
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
4411990
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
3911988
Global constraint catalogue: Past, present and future
N Beldiceanu, M Carlsson, S Demassey, T Petit
Constraints 12, 21-62, 2007
3192007
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
3032001
Freeze, indexing, and other implementation issues in the WAM
M Carlsson
Swedish Institute of Computer Science, 1986
1471986
Garbarge collection for Prolog based on WAM
K Appleby, M Carlsson, S Haridi, D Sahlin
Communications of the ACM 31 (6), 719-741, 1988
1331988
Deriving filtering algorithms from constraint checkers
N Beldiceanu, M Carlsson, T Petit
International Conference on Principles and Practice of Constraint …, 2004
1202004
A New Multi-resource cumulatives Constraint with Negative Heights
N Beldiceanu, M Carlsson
International Conference on Principles and Practice of Constraint …, 2002
1132002
Global constraint catalog
N Beldiceanu, M Carlsson, JX Rampon
Swedish Institute of Computer Science, 2010
1122010
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
942001
Finite domain constraint programming systems
C Schulte, M Carlsson
Foundations of Artificial Intelligence 2, 495-526, 2006
932006
SICStus Prolog—the first 25 years
M Carlsson, P Mildner
Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012
922012
Design and implementation of an OR-parallel Prolog engine.
M Carlsson
841992
On implementing Prolog in functional programming
M Carlsson
New Generation Computing 2, 347-359, 1984
651984
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
592007
Constraint-based register allocation and instruction scheduling
RC Lozano, M Carlsson, F Drejhammar, C Schulte
International Conference on Principles and Practice of Constraint …, 2012
582012
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family
N Beldiceanu, M Carlsson
International conference on logic programming, 59-73, 2001
572001
Entailment of finite domain constraints
B Carlson, M Carlsson, D Diaz
ICLP'94, International Conference on Logic Programming, 13-18 June 1994 …, 1994
571994
Arc-consistency for a chain of lexicographic ordering constraints
M Carlsson, N Beldiceanu
Swedish Institute of Computer Science, 2002
562002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20