Mats Carlsson

Citado por

	Total	Desde 2017
Citas	4592	825
Índice h	32	16
Índice i10	69	30

240

120

180

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220 29 38 25 40 67 99 105 82 131 86 119 85 64 74 72 85 100 115 106 104 176 166 152 161 163 195 222 193 197 134 192 195 161 149 120 97 103

Acceso público

Ver todo

23 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceDirección de correo verificada de mines-nantes.fr
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyDirección de correo verificada de kth.se
Thierry PetitWorcester Polytechnic Institute, MA and Rowan University, NJDirección de correo verificada de wpi.edu
Thomas SjölandKTH Royal Institute of TechnologyDirección de correo verificada de kth.se
Seif HaridiProfessor of Computer Systems, KTH, RISEDirección de correo verificada de ri.se
Justin PearsonIT Department, Uppsala University, SwedenDirección de correo verificada de it.uu.se
Greger OttossonIBMDirección de correo verificada de fr.ibm.com
Roberto Castañeda LozanoDirección de correo verificada de acm.org
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenDirección de correo verificada de it.uu.se
Gabriel Hjort Åkerlund (ex Blindell)Ph.D., M.Sc.Dirección de correo verificada de hjort.dev
Sophie DemasseyCMA, Mines Paris - PSLDirección de correo verificada de mines-paristech.fr
Helmut SimonisInsight Centre for Data Analytics, University College CorkDirección de correo verificada de insight-centre.org
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceDirección de correo verificada de univ-nantes.fr
Ewing (Rusty) LuskArgonne National LaboratoryDirección de correo verificada de mcs.anl.gov
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasDirección de correo verificada de utdallas.edu
Rick StevensProfessor of Computer Science, University of ChicagoDirección de correo verificada de ci.uchicago.edu
Terrence DiszANLDirección de correo verificada de mcs.anl.gov
Robert OlsonArgonne National LaboratoryDirección de correo verificada de mcs.anl.gov
Maria Andreina Francisco RodriguezPostdoctoral Researcher, Uppsala UniversityDirección de correo verificada de farmbio.uu.se
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Dirección de correo verificada de upm.es

Seguir

Mats Carlsson

RISE Research Institutes of Sweden

Dirección de correo verificada de ri.se - Página principal

Constraint Programming Combinatorial Problem Solving Compilation Algorithm Design Programming Languages


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
An open-ended finite domain constraint solver M Carlsson, G Ottosson, B Carlson International Symposium on Programming Language Implementation and Logic …, 1997	443	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), 243-271, 1990	426	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	370	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	301	2001
Global constraint catalog N Beldiceanu, M Carlsson, JX Rampon Swedish Institute of Computer Science, 2010	256	2010
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12 (1), 21-62, 2007	165*	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	126	1988
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004	116	2004
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002	108	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	93	2001
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	92	2006
SICStus Prolog—the first 25 years M Carlsson, P Mildner Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012	84	2012
Design and implementation of an OR-parallel Prolog engine. M Carlsson	79	1992
On implementing Prolog in functional programming M Carlsson New Generation Computing 2 (4), 347-359, 1984	66	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
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, International Conference on Logic Programming, 13-18 June 1994 …, 1994	58	1994
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family N Beldiceanu, M Carlsson International conference on logic programming, 59-73, 2001	57	2001
Arc-consistency for a chain of lexicographic ordering constraints M Carlsson, N Beldiceanu Swedish Institute of Computer Science, 2002	55	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores