Mats Carlsson
Publications
Number of items: 99.

Article

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

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

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

Beldiceanu, Nicolas and Carlsson, Mats and Demassey, Sophie and Poder, Emmanuel (2011) New Filtering for the Cumulative Constraint in the Context of Non-Overlapping Rectangles. Annals of Operations Research, 1 (184). pp. 27-50. ISSN 0254-5330

Aggoun, Abderrahmane and Beldiceanu, Nicolas and Carlsson, Mats and Fages, François (2010) Integrating rule-based modelling and constraint programming for solving industrial packing problems. ERCIM News (81). pp. 34-35. ISSN 0926-4981

Beldiceanu, Nicolas and Carlsson, Mats and Demassey, Sophie and Petit, Thierry (2007) Global Constraint Catalogue: Past, Present and Future. Constraints, 12 (1). pp. 21-62. ISSN 1383-7133 (Print) 1572-9354 (Online)

Beldiceanu, Nicolas and Carlsson, Mats and Thiel, Sven (2006) Sweep synchronisation as a global propagation mechanism. Computers & Operations Research, 3 (10). pp. 2835-2851.

Carlsson, Mats (2005) Dispensation order generation for pyrosequencing. ERCIM News (60).

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier and Truchet, Charlotte (2005) Graph invariants as necessary conditions for global constraints. CP'2005, Principles and Practice of Constraint Programming, LNCS, 3709 . pp. 92-106.

Beldiceanu, Nicolas and Carlsson, Mats and Debruyne, Romuald and Petit, Thierry (2005) Reformulation of global constraints based on constraint checkers. Constraints, 10 (4).

Ameur, Adam and Aurell, Erik and Carlsson, Mats and Westholm, Jakub Orzechowski (2004) Global gene expression analysis by combinatorial optimization. In Silico Biology, 4 (20). ISSN 1434-3207

Gupta, Gopal and Pontelli, Enrico and Ali, Khayri Mohammed and Carlsson, Mats and Hermenegildo, Manuel (2001) Parallel execution of Prolog programs. ACM Transaction on Programming Languages and Systems (TOPLAS), 23 (4). pp. 472-602. ISSN 0164-0925

Yen, Jonathan and Carlsson, Mats and Chang, Mike and Garcia, Joan Manel and Nguyen, Hugh (2000) Constraint solving for inkjet print mask design. Journal of Imaging Science and Technology, 44 (5). pp. 391-397. ISSN 1062-3701

Lusk, E. and Butler, R. and Disz, T. and Overbeek, R. and Stevens, R. and Warren, David H.D. and Calderwood, A. and Szeredi, Peter and Brand, Per and Carlsson, Mats and Ciepielewski, Andrzej and Hausman, Bogdan and Haridi, Seif (1990) The Aurora or-parallel Prolog system. New Generation Computing, 7 (2,3). pp. 243-271. ISSN 0288-3635

Book Section

Schulte, Christian and Carlsson, Mats (2006) Finite domain constraint programming systems. In: Handbook of constraint programming. Elsevier.

Conference or Workshop Item

Castañeda Lozano, Roberto and Carlsson, Mats and Hjort Blindell, Gabriel and Schulte, Christian (2014) Combinatorial Spill Code Optimization and Ultimate Coalescing. In: Fourteenth ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, 12-13 Jun 2014. (In Press)

Castañeda Lozano, Roberto and Hjort Blindell, Gabriel and Carlsson, Mats and Drejhammar, Frej and Schulte, Christian (2013) Constraint-based Code Generation. In: Sixteenth International Workshop on Software and Compilers for Embedded Systems, 19-21 June 2013, St. Goar, Germany.

Castañeda Lozano, Roberto and Carlsson, Mats and Drejhammar, Frej and Schulte, Christian (2012) Constraint-based Register Allocation and Instruction Scheduling. In: Eighteenth International Conference on Principles and Practice of Constraint Programming, 8-12 Oct 2012, Québec City, Canada.

Beldiceanu, Nicolas and Carlsson, Mats and Petit, Thierry and Régin, Jean-Charles (2012) An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. In: ECAI.

Letort, Arnaud and Beldiceanu, Nicolas and Carlsson, Mats (2012) A Scalable Sweep Algorithm for the "cumulative" Constraint. In: CP.

Simonis, Helmut and Davern, Paul and Feldman, Jacob and Mehta, Deepak and Quesada, Luis and Carlsson, Mats (2010) A Generic Visualization Platform for CP. In: CP 2010.

Beldiceanu, Nicolas and Carlsson, Mats and Flener, Pierre and Pearson, Justin (2010) On Matrices, Automata, and Double Counting. In: Seventh International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming, 14-18 June 2010, Bologna, Italy.

Ågren, Magnus and Beldiceanu, Nicolas and Carlsson, Mats and Sbihi, Mohamed and Truchet, Charlotte and Zampelli, Stéphane (2009) Six ways of integrating symmetries within non-overlapping constraints. In: CP-AI-OR 2009, 27-31 May 2009, Pittsburgh, Pennsylvania, USA.

Carlsson, Mats and Beldiceanu, Nicolas and Martin, Julien (2008) A geometric constraint over k-dimensional objects and shapes subject to business rules. In: CP 2008: 14th International Conference on Principles and Practice of Constraint Programming, 14-18 Sept 2008, Sidney, Australia.

Beldiceanu, Nicolas and Carlsson, Mats and Poder, Emmanuel (2008) New filtering for the cumulative constraint in the context of non-overlapping rectangles. In: 5th International Conference, CPAIOR 2008, 20-23 May 2008, Paris, France.

Beldiceanu, Nicolas and Carlsson, Mats and Poder, Emmanuel and Sadek, Rida and Truchet, Charlotte (2007) A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. In: CP'2007: 13th International Conference on Principles and Practice of Constraint Programming, 23-27 Sept 2007, Providence, Rhode Island, USA.

Beldiceanu, Nicolas and Carlsson, Mats and Demassey, Sophie and Petit, Thierry (2006) Graph properties based filtering. In: CP'2006, Principles and practice of constraint programming, 25-29 September 2006, Nantes, France.

Carlsson, Mats (2006) The SICStus Prolog finite domain constraint programming library. In: CP-TOOLS-06, 24 September 2006, Nantes, France.

Carlsson, Mats and Beldiceanu, Nicolas (2005) Dispensation Order Generation for Pyrosequencing. In: SweConsNet 2005, 7 March 2005, Lund, Sweden. (Unpublished)

Carlsson, Mats (2005) Filtering algorithms for global constraints. In: FJCP2005, 14-16 Nov 2005, Port aux Rocs, Le Croisic, France. (Unpublished)

Carlsson, Mats and Beldiceanu, Nicolas (2004) From constraints to finite automata to filtering algorithms. In: Proceedings ESOP2004: Programming languages and systems, 29 March - 2 April 2004, Barcelona, Spain.

Carlsson, Mats and Beldiceanu, Nicolas (2004) Dispensation order generation for pyrosequencing. In: Proceedings of the Second Asia Pacific Bioinformatics Conference (APBC2004), 18-22 Jan 2004, Dunedin, New Zealand.

Beldiceanu, Nicolas and Carlsson, Mats and Petit, Thierry (2004) Deriving filtering algorithms from constraint checkers. In: Principles and Practice of Constraint Programming – CP 2004, 10th International Conference, 27 Sept - 1 Oct 2004, Toronto, Canada.

Carlsson, Mats and Beldiceanu, Nicolas (2004) Multiplex dispensation order generation for pyrosequencing. In: CP'2004 Workshop on CSP Techniques with Immediate Application, 27 Sep 2004, Toronto, Canada.

Beldiceanu, Nicolas and Carlsson, Mats and Thiel, Sven (2003) Sweep synchronization as a global propagation mechanism. In: Fifth International Workshop on Integration of AI and OR Techniques, 8-10 May 2003, Montreal, Canada.

Aurell, Erik and Boman, Magnus and Carlsson, Mats and Finne, Niclas and Janson, Sverker and Kreuger, Per and Rasmusson, Lars (2002) A constraint programming agent for automated trading. In: Proceedings of the 8th International Conference of the Society for Computational Economics, 2002, Aix-en-Provence, France.

Beldiceanu, Nicolas and Carlsson, Mats (2002) A New multi-resource cumulatives constraint with negative heights. In: CP'2002, 8th International Conference, Principles and Practice of Constraint Programming, 9-13 Sept 2002, Ithaca, New York, USA.

Ågren, Magnus and Szeredi, Tamas and Beldiceanu, Nicolas and Carlsson, Mats (2002) Tracing and explaining execution of CLP(FD) programs. In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, 31 July 2002, Copenhagen, Denmark.

Carlsson, Mats (2001) Finite domain constraints in SICStus prolog. In: CICLOPS Workshop at International Conference on Principles and Practices of Constraint Programming, 1 Dec 2001, Cyprus.

Nässén, Henrik and Carlsson, Mats and Sagonas, Kostis (2001) Instruction merging and specializing in the SICStus Prolog virtual machine. In: Proceedings PPDP'01, Principles and Practice of Declarative Programming, 5-7 Sep 2001, Firenze, Italy.

Beldiceanu, Nicolas and Carlsson, Mats (2001) Revisiting the cardinality operator and introducing the cardinality-path constraint family. In: Seventeenth International Conference on Logic Programming ICLP'01, 26 Nov - 1 Dec 2001, Paphos, Cyprus.

Beldiceanu, Nicolas and Carlsson, Mats (2001) Sweep as a generic pruning technique applied to constraint relaxation. In: Soft'01 workshop at CP'2001, International conference on Principles and Practice of Constraint Programming, 1 Dec 2001, Paphos, Cyprus.

Beldiceanu, Nicolas and Carlsson, Mats (2001) Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint. In: Principles and Practice of Constraint Programming (CP 2001): 7th International Conference, 26 Nov - 1 Dec 2001, Paphos, Cyprus.

Yen, Jonathan and Carlsson, Mats and Chang, Mike and Garcia, Joan Manel and Nguyen, Hugh (1999) Constraint solving for inkjet print mask design. In: NIP15: International Conference on Digital Printing Technologies, 17-22 Oct 1999, Orlando, Florida.

Carlsson, Mats and Kreuger, Per and Åström, Emil (1999) Constraint-based resource allocation and scheduling in steel manufacturing. In: PADL'99: First International Workshop on Practical Aspects of Declarative Languages, 18-19 Jan 1999, San Antonio, Texas, USA.

Eskilson, Jesper and Carlsson, Mats (1998) SICStus MT: a multithreaded execution environment for SICStus Prolog. In: 10th International Symposium PLILP'98, held Jointly with the 6th International Conference ALP'98: Proceedings, 16-18 Sept 1998 , Pisa, Italy.

Carlsson, Mats and Ottosson, Greger and Carlson, Björn (1997) An Open-Ended finite domain constraint solver. In: Programming Languages: Implementations, Logics, and Programming, 9th International Symposium, PLILP'97, 3-5 Sept 1997, Southampton, UK.

Kreuger, Per and Carlsson, Mats and Olsson, Jan and Sjöland, Thomas and Åström, Emil (1997) The TUFF train scheduler. In: ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, Oct 1997, Port Jefferson, NY, USA.

Kreuger, Per and Carlsson, Mats and Olsson, Jan and Sjöland, Thomas and Åström, Emil (1997) The TUFF train scheduler: two duration trip scheduling on single track networks. In: CP'97 Workshop on Industrial Constraint-Driven Scheduling, 1 Nov 1997, Schloss Hagenberg, Austria.

Carlsson, Mats and Ottosson, Greger (1996) Anytime frequency allocation with soft constraints. In: CP'96 Pre-Conference Workshop on Constraint Programming Applications, 19-22 August 1996, Cambridge, Massachusetts, USA.

Carlson, Björn and Carlsson, Mats (1995) Compiling and executing disjunctions of finite domain constraints. In: ICLP'95, Proceedings of the Twelfth International Conference on Logic Programming, 13-16 June 1995, Tokyo, Japan.

Carlson, Björn and Janson, Sverker and Carlsson, Mats (1995) The implementation of AKL(FD). In: ILPS'95, International Logic Programming Symposium, 4-7 Dec 1995, Portland, Oregon.

Carlson, Björn and Carlsson, Mats and Diaz, Daniel (1994) Entailment of finite domain constraints. In: ICLP'94, International Conference on Logic Programming, 13-18 June 1994, Santa Margherita Ligure, Italy.

Carlsson, Mats and Grindal, Mats (1993) Automatic frequency assignment for cellular telephones using constraint satisfaction techniques. In: ICLP'93, 10th International Conference on Logic Programming, 21-25 June 1993, Budapest, Hungary.

Carlsson, Mats (1992) A BDD-based approach to multiple level combinational logic synthesis. In: Practical Application of Prolog Conference, 1 - 3 April 1992, London, England.

Szeredi, Peter and Carlsson, Mats and Yang, Rong (1991) Interfacing engines and schedulers in Or-Parallel Prolog systems. In: PARLE'91 - Parallel Architectures and Languages Europe: Proceedings, Volume II: Parallel Languages, 10-13 June 1991, Eindhoven, The Netherlands.

Carlsson, Mats (1987) Freeze, indexing, and other implementation issues in the WAM. In: Proceedings of the 4th International Conference on Logic Programming (ICLP'87), May 1987, Melbourne, Australia.

Other

Carlsson, Mats and Schulte, Christian (2002) Finite domain constraint programming systems. Swedish Institute of Computer Science, Kista, Sweden.

Yen, Jonathan and Carlsson, Mats and Chang, Mike and Garcia, Joan Manel and Nguyen, Hugh (1998) Constraint solving for inkjet print mask design. Hewlett-Packard Company.

Carlsson, Mats and others, (et al.) (1995) SICStus Prolog user's manual. Swedish Institute of Computer Science, Sweden.

Szeredi, Peter and Carlsson, Mats (1990) The Engine-Scheduler interface in the Aurora Or-Parallel Prolog system. University of Bristol, Computer Science Department, Bristol, UK.

Patent

GLOBAL GENOMICS AB (2003) METHODS FOR PROFILING MOLECULES WITH AN OBJECTIVE FUNCTION. WO/2003/100541.

SICS Report

Letort, Arnaud and Carlsson, Mats and Beldiceanu, Nicolas (2013) Synchronized sweep algorithms for scalable scheduling constraints. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Flener, Pierre and Pearson, Justin (2012) On the Reification of Global Constraints. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2012) Global Constraint Catalog, 2nd Edition (revision a). [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2010) Global Constraint Catalog, 2nd Edition. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Martin, Julien (2009) Compiling business rules in a geometric constraint over k-dimensional objects and shapes. [SICS Report]

Ågren, Magnus and Beldiceanu, Nicolas and Carlsson, Mats and Sbihi, Mohamed and Truchet, Charlotte and Zampelli, Stéphane (2009) Six ways of integrating symmetries within non-overlapping constraints. [SICS Report]

Carlsson, Mats and Beldiceanu, Nicolas and Martin, Julien (2008) A geometric constraint over k-dimensional objects and shapes subject to business rules. [SICS Report]

Beldiceanu, Nicolas and Poder, Emmanuel and Sadek, Rida and Carlsson, Mats and Truchet, Charlotte (2007) A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Demassey, Sophie and Petit, Thierry (2006) Graph Properties Based Filtering. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier (2005) Global Constraint Catalog. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Rampon, Jean-Xavier and Truchet, Charlotte (2005) Graph Invariants as Necessary Conditions for Global Constraints. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Petit, Thierry (2004) Deriving Filtering Algorithms from Constraint Checkers. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Thiel, Sven (2003) Sweep Synchronization as a Global Propagation Mechanism. [SICS Report]

Carlsson, Mats and Beldiceanu, Nicolas (2002) Arc-Consistency for a Chain of Lexicographic Ordering Constraints. [SICS Report]

Carlsson, Mats and Beldiceanu, Nicolas (2002) Revisiting the Lexicographic Ordering Constraint. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats and Thiel, Sven (2002) Cost-Filtering Algorithms for the two Sides of the Sum of Weights of Distinct Values Constraint. [SICS Report]

Aurell, Erik and Carlsson, Mats and Ekman, Jan and Kreuger, Per (2002) GENFUNK. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats (2001) Constructive Cardinality. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats (2001) Sweep as a Generic Pruning Technique Applied to the Non-Overlapping Rectangles Constraint. [SICS Report]

Beldiceanu, Nicolas and Carlsson, Mats (2001) A New Multi-Resource cumulatives Constraint with Negative Heights. [SICS Report]

Kreuger, Per and Carlsson, Mats and Sjöland, Thomas and Åström, Emil (2001) Sequence dependent task extensions for trip scheduling. [SICS Report]

Carlsson, Mats and Ottosson, Greger (1999) A Comparison of CP, IP and Hybrids for Configuration Problems. [SICS Report]

Almgren, Jonas and Andersson, Stefan and Carlsson, Mats and Flood, Lena and Haridi, Seif and Frisk, Claes and Nilsson, Hans and Sundberg, Jan (1993) SICStus Prolog library manual, version 2.1 #8. [SICS Report]

Andersson, Johan and Andersson, Stefan and Boortz, Kent and Carlsson, Mats and Nilsson, Hans and Sjöland, Thomas and Widén, Johan (1993) SICStus Prolog user's manual, version 2.1 #8. [SICS Report]

Sahlin, Dan and Carlsson, Mats (1991) Variable shunting for the WAM. [SICS Report]

Carlsson, Mats (1991) Boolean constraints in SICStus Prolog. [SICS Report]

Carlsson, Mats and Widén, Johan and Andersson, Johan and Andersson, Stefan and Boortz, Kent and Nilsson, Hans and Sjöland, Thomas (1991) Industrial SICStus Prolog user's manual. [SICS Report]

Carlsson, Mats (1991) The SICStus emulator. [SICS Report]

Carlsson, Mats and Szeredi, Péter (1990) The Aurora Abstract Machine and its Emulator. [SICS Report]

Carlsson, Mats (1990) A Prolog compiler and its extension for OR-parallelism. [SICS Report]

Carlsson, Mats (1990) On the Efficiency of Optimising Shallow Backtracking in Prolog. [SICS Report]

Carlsson, Mats and Widén, Johan (1988) SICStus Prolog user's manual. [SICS Report]

Appleby, Karen and Carlsson, Mats and Haridi, Seif and Sahlin, Dan (1986) Garbage Collection for Prolog Based on WAM (Revised version). [SICS Report]

Carlsson, Mats (1986) Freeze, indexing, and other implementation issues in the WAM. [SICS Report]

Carlsson, Mats (1986) An implementation of dif and freeze in the WAM. [SICS Report]

Carlsson, Mats (1986) On compiling indexing and cut for the WAM. [SICS Report]

Thesis

Carlsson, Mats (1990) Design and Implementation of an OR-Parallel Prolog Engine. Doctoral thesis, The Royal Institute of Technology, Stockholm / SICS, Kista.

This list was generated on Wed Apr 23 14:16:05 2014 CEST.
News