Mats Carlsson

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson: On the reification of global constraints. Constraints 18(1): 1-6 (2013)

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson: On matrices, automata, and double counting in constraint programming. Constraints 18(1): 108-140 (2013)

Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu: A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. CPAIOR 2013: 144-159

Mats Carlsson, Per Mildner: SICStus Prolog - The first 25 years. TPLP 12(1-2): 35-66 (2012)

Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson: A Scalable Sweep Algorithm for the cumulative Constraint. CP 2012: 439-454

Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte: Constraint-Based Register Allocation and Instruction Scheduling. CP 2012: 750-766

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

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)

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

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)

Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson: A Generic Visualization Platform for CP. CP 2010: 460-474

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson: On Matrices, Automata, and Double Counting. CPAIOR 2010: 10-24

Mats Carlsson, Per Mildner: SICStus Prolog -- the first 25 years. CoRR abs/1011.5640 (2010)

Pierre Flener, Mats Carlsson, Christian Schulte: Constraint Programming in Sweden. IEEE Intelligent Systems 24(2): 87-89 (2009)

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

Mats Carlsson, Nicolas Beldiceanu, Julien Martin: A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. CP 2008: 220-234

Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder: New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. CPAIOR 2008: 21-35

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit: Global Constraint Catalogue: Past, Present and Future. Constraints 12(1): 21-62 (2007)

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

Nicolas Beldiceanu, Mats Carlsson, Sven Thiel: Sweep synchronization as a global propagation mechanism. Computers & OR 33(10): 2835-2851 (2006)

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit: Graph Properties Based Filtering. CP 2006: 59-74

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

Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit: Reformulation of Global Constraints Based on Constraints Checkers. Constraints 10(4): 339-362 (2005)

Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet: Graph Invariants as Necessary Conditions for Global Constraints. CP 2005: 92-106

Adam Ameur, Erik Aurell, Mats Carlsson, Jakub Orzechowski Westholm: Global gene expression analysis by combinatorial optimization. In Silico Biology 4 (2004)

Mats Carlsson, Nicolas Beldiceanu: Dispensation Order Generation for Pyrosequencing. APBC 2004: 327-332

Nicolas Beldiceanu, Mats Carlsson, Thierry Petit: Deriving Filtering Algorithms from Constraint Checkers. CP 2004: 107-122

Mats Carlsson, Nicolas Beldiceanu: From Constraints to Finite Automata to Filtering Algorithms. ESOP 2004: 94-108

Nicolas Beldiceanu, Mats Carlsson: A New Multi-resource cumulatives Constraint with Negative Heights. CP 2002: 63-79

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs. WLPE 2002: 1-16

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs. CoRR cs.SE/0207047 (2002)

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)

Nicolas Beldiceanu, Mats Carlsson: Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. CP 2001: 377-391

Nicolas Beldiceanu, Mats Carlsson: Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. ICLP 2001: 59-73

Henrik Nässén, Mats Carlsson, Konstantinos F. Sagonas: Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. PPDP 2001: 49-60

Mats Carlsson, Per Kreuger, Emil Åström: Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. PADL 1999: 335-349

Jesper Eskilson, Mats Carlsson: SICStus MT - Multithreaded Execution Environment for SICStus Prolog. Implementation Technology for Programming Languages based on Logic 1998: 59-71

Jesper Eskilson, Mats Carlsson: SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. PLILP/ALP 1998: 36-53

Mats Carlsson, Greger Ottosson, Björn Carlson: An Open-Ended Finite Domain Constraint Solver. PLILP 1997: 191-206

Gopal Gupta, Mats Carlsson: Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. J. Log. Program. 29(1-3): 1-3 (1996)

Mats Carlsson, Björn Carlson, Greger Ottosson: Towards an Open Finite Domain Constraint Solver. CP 1996: 531-532

Björn Carlson, Mats Carlsson: Compiling and Executing Disjunctions of Finite Domain Constraints. ICLP 1995: 117-131

Björn Carlson, Mats Carlsson, Sverker Janson: The implementation of AKL(FD). ILPS 1995: 227-241

Björn Carlson, Mats Carlsson, Daniel Diaz: Entailment of Finite Domain Constraints. ICLP 1994: 339-353

Mats Carlsson, Thomas Hallgren: FUDGETS: A Graphical User Interface in a Lazy Functional Language. FPCA 1993: 321-330

Mats Carlsson, Mats Grindal: Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. ICLP 1993: 647-665

Péter Szeredi, Rong Yang, Mats Carlsson: Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. PARLE (2) 1991: 439-453

Mats Carlsson: On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. ICLP 1989: 3-16

Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin: Garbage Collection for Prolog Based on WAM. Commun. ACM 31(6): 719-741 (1988)

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

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

Mats Carlsson: Freeze, Indexing, and Other Implementation Issues in the WAM. ICLP 1987: 40-58

Mats Carlsson: A Microcoded Unifier for Lisp Machine Prolog. SLP 1985: 162-171

Mats Carlsson: On Implementing Prolog in Functional Programming. New Generation Comput. 2(4): 347-359 (1984)

Kenneth M. Kahn, Mats Carlsson: How to Implement Prolog on a LISP Machine. Implementations of Prolog 1984: 117-134

Kenneth M. Kahn, Mats Carlsson: The Compilation of Prolog Programs without the Use of a Prolog Compiler. FGCS 1984: 348-355

Mats Carlsson: On Implementing Prolog in Functional Programming. SLP 1984: 154-159