Mats Carlsson - Google Scholar

Cited by

	All	Since 2015
Citations	4239	877
h-index	32	17
i10-index	66	29

220

110

165

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202012 19 27 37 26 40 68 95 104 83 127 84 111 79 60 67 73 81 96 120 110 102 173 165 158 150 185 206 193 198 187 147 180 186 157 127 79

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
Thomas SjölandKTH Royal Institute of TechnologyVerified email at kth.se
Thierry PetitAssistant Professor (HDR)Verified email at usciences.edu
Seif HaridiProfessor of Computer Systems, KTH, RISEVerified email at ri.se
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenVerified email at it.uu.se
Roberto Castañeda LozanoUniversity of EdinburghVerified email at ed.ac.uk
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceVerified email at univ-nantes.fr
Sophie DemasseyCMA, Mines ParisTechVerified email at mines-paristech.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.eun.eg
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
Daniel DiazAssociate Professor of Computing Science, University Paris 1Verified email at univ-paris1.fr
Arnaud GotliebChief Research Scientist / Research ProfessorVerified email at simula.no

Mats Carlsson

RISE Research Institutes of Sweden

Verified email at sics.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	423	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	413	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	285	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	262	2001
Global constraint catalog N Beldiceanu, M Carlsson, JX Rampon Swedish Institute of Computer Science, 2010	237	2010
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12 (1), 21-62, 2007	145*	2007
Freeze, indexing, and other implementation issues in the WAM M Carlsson Swedish Institute of Computer Science, 1986	140	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	124	1988
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004	113	2004
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	94	2001
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002	93	2002
SICStus Prolog user's manual M Carlsson Swedish Institute of Computer Science, 1995	90	1995
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	76	2006
Design and implementation of an OR-parallel Prolog engine. M Carlsson	76	1992
SICStus Prolog--the first 25 years M Carlsson, P Mildner arXiv preprint arXiv:1011.5640, 2010	65	2010
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	60	2007
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family N Beldiceanu, M Carlsson International conference on logic programming, 59-73, 2001	57	2001
On implementing Prolog in functional programming M Carlsson New Generation Computing 2 (4), 347-359, 1984	57	1984
Arc-consistency for a chain of lexicographic ordering constraints M Carlsson, N Beldiceanu SICS Research Report, 2002	52	2002
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, Int. Conf. on Logic Programming, 1994	50	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

Upload PDF

Follow this author

Cited by

Co-authors