Mats Carlsson

Cited by

	All	Since 2016
Citations	4414	870
h-index	32	17
i10-index	71	28

240

120

180

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202116 26 34 25 40 63 104 101 88 129 86 116 81 65 71 70 85 97 113 108 117 176 165 155 158 149 192 222 193 201 141 186 195 161 135 115 78

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 PetitAssistant Professor of Data Science (HDR), University of the Sciences in PhiladelphiaVerified email at usciences.edu
Péter SzerediBudapest University of Technology and EconomicsVerified email at cs.bme.hu
Thomas SjölandKTH Royal Institute of TechnologyVerified email at kth.se
Seif HaridiProfessor of Computer Systems, KTH, RISEVerified email at ri.se
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
Roberto Castañeda LozanoVerified email at acm.org
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
Sophie DemasseyCMA, Mines ParisTechVerified email at mines-paristech.fr
Helmut SimonisInsight Centre for Data Analytics, University College CorkVerified email at insight-centre.org
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceVerified email at univ-nantes.fr
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerified email at utdallas.edu
Ewing (Rusty) LuskArgonne National LaboratoryVerified email at mcs.anl.gov
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Khayri A. M. AliPresident of October University for Modern Sciences and Arts (MSA)Verified email at msa.edu.eg
Rick StevensProfessor of Computer Science, University of ChicagoVerified email at ci.uchicago.edu
Terrence DiszANLVerified email at mcs.anl.gov

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 International Symposium on Programming Language Implementation and Logic …, 1997	435	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 (2-3), 243-271, 1990	417	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	289	1988
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	277	2001
Global constraint catalog N Beldiceanu, M Carlsson, JX Rampon	244	2005
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12 (1), 21-62, 2007	158*	2007
Freeze, indexing, and other implementation issues in the WAM M Carlsson Swedish Institute of Computer Science, 1986	143	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	123	1988
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004	115	2004
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002	97	2002
Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2001	95	2001
SICStus Prolog user's manual M Carlsson Swedish Institute of Computer Science, 1995	93	1995
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	88	2006
Design and implementation of an OR-parallel Prolog engine. M Carlsson	76	1992
SICStus Prolog—the first 25 years M Carlsson, P Mildner Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012	71	2012
On implementing Prolog in functional programming M Carlsson New Generation Computing 2 (4), 347-359, 1984	62	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
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family N Beldiceanu, M Carlsson International conference on logic programming, 59-73, 2001	55	2001
Arc-consistency for a chain of lexicographic ordering constraints M Carlsson, N Beldiceanu Swedish Institute of Computer Science, 2002	54	2002
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, International Conference on Logic Programming, 13-18 June 1994 …, 1994	54	1994

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 this author

Cited by

Co-authors