Mats Carlsson

Cited by

	All	Since 2018
Citations	4742	696
h-index	33	15
i10-index	70	25

240

120

180

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202325 25 34 24 38 68 104 103 99 128 94 120 88 69 70 80 88 105 111 110 110 181 168 150 164 162 198 227 197 194 136 189 212 157 142 118 105 91 83

Public access

View all

23 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceVerified email at mines-nantes.fr
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyVerified email at kth.se
Thierry PetitWorcester Polytechnic Institute, MA and Rowan University, NJVerified email at wpi.edu
Thomas SjölandKTH Royal Institute of TechnologyVerified email at kth.se
Seif HaridiProfessor of Computer Systems, KTH, RISEVerified email at ri.se
Péter SzerediBudapest University of Technology and EconomicsVerified email at cs.bme.hu
Greger OttossonIBMVerified email at fr.ibm.com
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
Roberto Castañeda LozanoVerified email at acm.org
Sophie DemasseyCMA, Mines Paris - PSLVerified email at mines-paristech.fr
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenVerified email at it.uu.se
Gabriel Hjort Åkerlund (ex Blindell)Ph.D., M.Sc.Verified email at hjort.dev
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceVerified email at univ-nantes.fr
Helmut SimonisInsight Centre for Data Analytics, University College CorkVerified email at insight-centre.org
Ewing (Rusty) LuskArgonne National LaboratoryVerified email at mcs.anl.gov
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerified email at utdallas.edu
Rick StevensProfessor of Computer Science, University of ChicagoVerified email at ci.uchicago.edu
Terrence DiszANLVerified email at mcs.anl.gov
Robert OlsonArgonne National LaboratoryVerified email at mcs.anl.gov
Arnaud GotliebSimula Research LaboratoryVerified email at simula.no

Mats Carlsson

RISE Research Institutes of Sweden

Verified email at ri.se - Homepage

Constraint Programming Combinatorial Problem Solving Compilation Algorithm Design Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An open-ended finite domain constraint solver M Carlsson, G Ottosson, B Carlson Programming Languages: Implementations, Logics, and Programs: 9th …, 1997	459	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	391	1988
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12, 21-62, 2007	320	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	303	2001
Freeze, indexing, and other implementation issues in the WAM M Carlsson Swedish Institute of Computer Science, 1986	147	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	133	1988
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004	120	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	112	2010
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	94	2001
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	93	2006
SICStus Prolog—the first 25 years M Carlsson, P Mildner Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012	92	2012
Design and implementation of an OR-parallel Prolog engine. M Carlsson	84	1992
On implementing Prolog in functional programming M Carlsson New Generation Computing 2, 347-359, 1984	65	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	59	2007
Constraint-based register allocation and instruction scheduling RC Lozano, M Carlsson, F Drejhammar, C Schulte International Conference on Principles and Practice of Constraint …, 2012	58	2012
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family N Beldiceanu, M Carlsson International conference on logic programming, 59-73, 2001	57	2001
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, International Conference on Logic Programming, 13-18 June 1994 …, 1994	57	1994
Arc-consistency for a chain of lexicographic ordering constraints M Carlsson, N Beldiceanu Swedish Institute of Computer Science, 2002	56	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors