Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mats Carlsson
2010 – today
- 2013
[j14]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson: On the reification of global constraints. Constraints 18(1): 1-6 (2013)- [j13]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson: On matrices, automata, and double counting in constraint programming. Constraints 18(1): 108-140 (2013)
- [c39]Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu: A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. CPAIOR 2013: 144-159
- 2012
- [j12]
- [c38]Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson: A Scalable Sweep Algorithm for the cumulative Constraint. CP 2012: 439-454
- [c37]Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte: Constraint-Based Register Allocation and Instruction Scheduling. CP 2012: 750-766
- [c36]Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin: An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. ECAI 2012: 145-150
- 2011
- [j11]Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Emmanuel Poder: New filtering for the cumulative constraint in the context of non-overlapping rectangles. Annals OR 184(1): 27-50 (2011)
- [c35]Danica Damljanovic, Johann Petrak, Mihai Lupu, Hamish Cunningham, Mats Carlsson, Gunnar Engstrom, Bo Andersson: Random Indexing for Finding Similar Nodes within Large RDF Graphs. ESWC Workshops 2011: 156-171
- 2010
- [j10]Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages: Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. ERCIM News 2010(81) (2010)
- [c34]Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson: A Generic Visualization Platform for CP. CP 2010: 460-474
- [c33]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson: On Matrices, Automata, and Double Counting. CPAIOR 2010: 10-24
- [i2]
2000 – 2009
- 2009
- [j9]Pierre Flener, Mats Carlsson, Christian Schulte: Constraint Programming in Sweden. IEEE Intelligent Systems 24(2): 87-89 (2009)
- [c32]Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli: Six Ways of Integrating Symmetries within Non-overlapping Constraints. CPAIOR 2009: 11-25
- 2008
- [c31]Mats Carlsson, Nicolas Beldiceanu, Julien Martin: A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. CP 2008: 220-234
- [c30]Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder: New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. CPAIOR 2008: 21-35
- 2007
- [j8]Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit: Global Constraint Catalogue: Past, Present and Future. Constraints 12(1): 21-62 (2007)
- [c29]Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet: A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. CP 2007: 180-194
- 2006
- [j7]Nicolas Beldiceanu, Mats Carlsson, Sven Thiel: Sweep synchronization as a global propagation mechanism. Computers & OR 33(10): 2835-2851 (2006)
- [c28]Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit: Graph Properties Based Filtering. CP 2006: 59-74
- [e1]Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi (Eds.): Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3978, Springer 2006, ISBN 3-540-34215-X
- 2005
- [j6]Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit: Reformulation of Global Constraints Based on Constraints Checkers. Constraints 10(4): 339-362 (2005)
- [c27]Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet: Graph Invariants as Necessary Conditions for Global Constraints. CP 2005: 92-106
- 2004
- [j5]Adam Ameur, Erik Aurell, Mats Carlsson, Jakub Orzechowski Westholm: Global gene expression analysis by combinatorial optimization. In Silico Biology 4 (2004)
- [c26]Mats Carlsson, Nicolas Beldiceanu: Dispensation Order Generation for Pyrosequencing. APBC 2004: 327-332
- [c25]Nicolas Beldiceanu, Mats Carlsson, Thierry Petit: Deriving Filtering Algorithms from Constraint Checkers. CP 2004: 107-122
- [c24]Mats Carlsson, Nicolas Beldiceanu: From Constraints to Finite Automata to Filtering Algorithms. ESOP 2004: 94-108
- 2002
- [c23]Nicolas Beldiceanu, Mats Carlsson: A New Multi-resource cumulatives Constraint with Negative Heights. CP 2002: 63-79
- [c22]Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs. WLPE 2002: 1-16
- [i1]Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs. CoRR cs.SE/0207047 (2002)
- 2001
- [j4]Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo: Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. 23(4): 472-602 (2001)
- [c21]Nicolas Beldiceanu, Mats Carlsson: Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. CP 2001: 377-391
- [c20]Nicolas Beldiceanu, Mats Carlsson: Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. ICLP 2001: 59-73
- [c19]Henrik Nässén, Mats Carlsson, Konstantinos F. Sagonas: Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. PPDP 2001: 49-60
1990 – 1999
- 1999
- [c18]Mats Carlsson, Per Kreuger, Emil Åström: Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. PADL 1999: 335-349
- 1998
- [c17]Jesper Eskilson, Mats Carlsson: SICStus MT - Multithreaded Execution Environment for SICStus Prolog. Implementation Technology for Programming Languages based on Logic 1998: 59-71
- [c16]Jesper Eskilson, Mats Carlsson: SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. PLILP/ALP 1998: 36-53
- 1997
- [c15]Mats Carlsson, Greger Ottosson, Björn Carlson: An Open-Ended Finite Domain Constraint Solver. PLILP 1997: 191-206
- 1996
- [j3]Gopal Gupta, Mats Carlsson: Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. J. Log. Program. 29(1-3): 1-3 (1996)
- [c14]Mats Carlsson, Björn Carlson, Greger Ottosson: Towards an Open Finite Domain Constraint Solver. CP 1996: 531-532
- 1995
- [c13]Björn Carlson, Mats Carlsson: Compiling and Executing Disjunctions of Finite Domain Constraints. ICLP 1995: 117-131
- [c12]
- 1994
- [c11]Björn Carlson, Mats Carlsson, Daniel Diaz: Entailment of Finite Domain Constraints. ICLP 1994: 339-353
- 1993
- [c10]Mats Carlsson, Thomas Hallgren: FUDGETS: A Graphical User Interface in a Lazy Functional Language. FPCA 1993: 321-330
- [c9]Mats Carlsson, Mats Grindal: Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. ICLP 1993: 647-665
- 1991
- [c8]Péter Szeredi, Rong Yang, Mats Carlsson: Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. PARLE (2) 1991: 439-453
1980 – 1989
- 1989
- [c7]Mats Carlsson: On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. ICLP 1989: 3-16
- 1988
- [j2]Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin: Garbage Collection for Prolog Based on WAM. Commun. ACM 31(6): 719-741 (1988)
- [c6]Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman: The Aurora Or-Parallel Prolog System. FGCS 1988: 819-830
- [c5]Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek: A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. ICLP/SLP 1988: 1565-1577
- 1987
- [c4]
- 1985
- [c3]
- 1984
- [j1]Mats Carlsson: On Implementing Prolog in Functional Programming. New Generation Comput. 2(4): 347-359 (1984)
- [p1]Kenneth M. Kahn, Mats Carlsson: How to Implement Prolog on a LISP Machine. Implementations of Prolog 1984: 117-134
- [c2]Kenneth M. Kahn, Mats Carlsson: The Compilation of Prolog Programs without the Use of a Prolog Compiler. FGCS 1984: 348-355
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-05 20:51 CEST by the dblp team