Mats Carlsson

Citado por

	Total	Desde 2016
Citas	4311	797
Índice h	32	16
Índice i10	66	24

240

120

180

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202116 29 37 26 39 63 98 100 80 128 83 110 82 63 69 73 85 92 112 110 104 177 165 157 157 167 194 223 198 191 144 185 189 161 135 108 18

¡Nuevo!

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 PetitAssistant Professor (HDR)Dirección de correo verificada de usciences.edu
Péter SzerediBudapest University of Technology and EconomicsDirección de correo verificada de cs.bme.hu
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
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenDirección de correo verificada de it.uu.se
Roberto Castañeda LozanoDirección de correo verificada de acm.org
Sophie DemasseyCMA, Mines ParisTechDirección de correo verificada de mines-paristech.fr
Gabriel Hjort Åkerlund (ex Blindell)Ph.D., M.Sc.Dirección de correo verificada de hjort.dev
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
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasDirección de correo verificada de utdallas.edu
Ewing (Rusty) LuskArgonne National LaboratoryDirección de correo verificada de mcs.anl.gov
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Dirección de correo verificada de upm.es
Enrico PontelliNew Mexico State UniversityDirección de correo verificada de cs.nmsu.edu
Khayri A. M. AliPresident of October University for Modern Sciences and Arts (MSA)Dirección de correo verificada de msa.edu.eg
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

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	428	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	410	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	284	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	265	2001
Global constraint catalog N Beldiceanu, M Carlsson, JX Rampon Swedish Institute of Computer Science, 2010	244	2010
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12 (1), 21-62, 2007	151*	2007
Freeze, indexing, and other implementation issues in the WAM M Carlsson Swedish Institute of Computer Science, 1986	139	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	122	1988
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004	114	2004
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002	95	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
SICStus Prolog user's manual M Carlsson Swedish Institute of Computer Science, 1995	92	1995
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	80	2006
Design and implementation of an OR-parallel Prolog engine. M Carlsson	74	1992
SICStus Prolog—the first 25 years M Carlsson, P Mildner Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012	69	2012
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
On implementing Prolog in functional programming M Carlsson New Generation Computing 2 (4), 347-359, 1984	58	1984
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 SICS Research Report, 2002	54	2002
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, Int. Conf. on Logic Programming, 1994	51	1994

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

Subir PDF

Seguir a este autor

Citado por

Coautores