Mats Carlsson

Citée par

	Toutes	Depuis 2020
Citations	4837	510
indice h	34	12
indice i10	73	15

220

110

165

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202526 36 26 38 70 107 100 101 128 94 120 85 69 69 76 87 105 117 111 106 177 172 149 160 164 205 219 194 194 138 188 190 160 144 118 106 95 103 81 7

Accès public

Tout afficher

25 articles

3 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceAdresse e-mail validée de mines-nantes.fr
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyAdresse e-mail validée de kth.se
Thierry PetitCSO, EmotiaAdresse e-mail validée de wpi.edu
Thomas SjölandKTH Royal Institute of TechnologyAdresse e-mail validée de kth.se
Seif HaridiProfessor of Computer Systems, KTH, RISEAdresse e-mail validée de ri.se
Justin PearsonIT Department, Uppsala University, SwedenAdresse e-mail validée de it.uu.se
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenAdresse e-mail validée de it.uu.se
Greger OttossonIBMAdresse e-mail validée de fr.ibm.com
Roberto Castañeda LozanoAdresse e-mail validée de acm.org
Sophie DemasseyCMA, Mines Paris - PSLAdresse e-mail validée de mines-paristech.fr
Péter SzerediBudapest University of Technology and EconomicsAdresse e-mail validée de cs.bme.hu
Gabriel Hjort Åkerlund (ex Blindell)Ph.D., M.Sc.Adresse e-mail validée de hjort.dev
Ken KahnRetiredAdresse e-mail validée de education.ox.ac.uk
Helmut SimonisInsight Centre for Data Analytics, University College CorkAdresse e-mail validée de insight-centre.org
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceAdresse e-mail validée de univ-nantes.fr
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasAdresse e-mail validée de utdallas.edu
Rick StevensProfessor of Computer Science, University of ChicagoAdresse e-mail validée de ci.uchicago.edu
Ewing (Rusty) LuskArgonne National LaboratoryAdresse e-mail validée de mcs.anl.gov
Terrence DiszANLAdresse e-mail validée de mcs.anl.gov
Robert OlsonArgonne National LaboratoryAdresse e-mail validée de mcs.anl.gov

Suivre

Mats Carlsson

RISE Research Institutes of Sweden

Adresse e-mail validée de ri.se - Page d'accueil

Constraint Programming Combinatorial Problem Solving Compilation Algorithm Design Programming Languages


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
An open-ended finite domain constraint solver M Carlsson, G Ottosson, B Carlson Programming Languages: Implementations, Logics, and Programs: 9th …, 1997	471	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	388	1988
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12, 21-62, 2007	330	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	298	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	135	1988
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004	122	2004
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002	114	2002
Global constraint catalog N Beldiceanu, M Carlsson, JX Rampon Swedish Institute of Computer Science, 2010	113	2010
SICStus Prolog—the first 25 years M Carlsson, P Mildner Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012	104	2012
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	97	2001
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	93	2006
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	62	2007
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz	59	1994
Arc-consistency for a chain of lexicographic ordering constraints M Carlsson, N Beldiceanu Swedish Institute of Computer Science, 2002	58	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	54	2012
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family N Beldiceanu, M Carlsson International conference on logic programming, 59-73, 2001	52	2001

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs