Mats Carlsson

According to our database, Mats Carlsson authored at least 94 papers between 1984 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Maximizing value yield in wood industry through flexible sawing and product grading based on wane and log shape.

Kamran Forghani, Mats Carlsson, Pierre Flener, Magnus Fredriksson, Justin Pearson, Di Yuan

Comput. Electron. Agric., January, 2024

2023

Comparing Optimization Methods for Radiation Therapy Patient Scheduling using Different Objectives.

Sara Frimodig, Per Enqvist, Mats Carlsson, Carole Mercier

Oper. Res. Forum, December, 2023

Exact and metaheuristic methods for a real-world examination timetabling problem.

Mats Carlsson, Sara Ceschia, Luca Di Gaspero, Rasmus Ø. Mikkelsen, Andrea Schaerf, Thomas Jacob Riis Stidsen

J. Sched., August, 2023

A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot.

Johan Wessén, Mats Carlsson, Christian Schulte, Pierre Flener, Federico Pecora, Mihhail Matskin

Constraints An Int. J., 2023

2020

Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization.

Johan Wessén, Mats Carlsson, Christian Schulte

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots.

Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Combinatorial Register Allocation and Instruction Scheduling.

Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte

ACM Trans. Program. Lang. Syst., 2019

Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints.

Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz

CoRR, 2019

Time-aware Test Execution Scheduling for Cyber-Physical Systems.

Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Proceedings of the Software Engineering and Software Management, 2019

2018

Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover.

Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

Complete and Practical Universal Instruction Selection.

Gabriel Hjort Blindell, Mats Carlsson, Roberto Castañeda Lozano, Christian Schulte

ACM Trans. Embed. Comput. Syst., 2017

Scheduling double round-robin tournaments with divisional play using constraint programming.

Mats Carlsson, Mikael Johansson, Jeffrey Larson

Eur. J. Oper. Res., 2017

Auto-tabling for subproblem presolving in MiniZinc.

Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette

Constraints An Int. J., 2017

Modelling and Verification of User Interactions Using Constraint Programming.

Mats Carlsson, Olga Grinchtein, Justin Pearson

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Range-Consistent Forbidden Regions of Allen's Relations.

Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems.

Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

Global Constraint Catalog, Volume II, Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

CoRR, 2016

Using finite transducers for describing and synthesising structural time-series constraints.

Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis

Constraints An Int. J., 2016

A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing.

Arnaud Gotlieb, Mats Carlsson, Dusica Marijan, Alexandre Petillon

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Software Product Line Test Suite Reduction with Constraint Optimization.

Mats Carlsson, Arnaud Gotlieb, Dusica Marijan

Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2016

Register allocation and instruction scheduling in Unison.

Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte

Proceedings of the 25th International Conference on Compiler Construction, 2016

Automated Regression Testing Using Constraint Programming.

Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Combinatorial Problem Solving for Fair Play.

Mats Carlsson

ERCIM News, 2015

Synchronized sweep algorithms for scalable scheduling constraints.

Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu

Constraints An Int. J., 2015

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs.

Olga Grinchtein, Mats Carlsson, Justin Pearson

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks.

Ambuj Varshney, Luca Mottola, Mats Carlsson, Thiemo Voigt

Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, 2015

Testing of a telecommunication protocol using constraint programming.

Olga Grinchtein, Mats Carlsson, Justin Pearson

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A Modelling Pearl with Sortedness Constraints.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme

Proceedings of the Global Conference on Artificial Intelligence, 2015

Erratum to: Modeling Universal Instruction Selection.

Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte

Proceedings of the Principles and Practice of Constraint Programming, 2015

Modeling Universal Instruction Selection.

Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

Protocol Log Analysis with Constraint Programming.

Mats Carlsson, Olga Grinchtein, Justin Pearson

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

Combinatorial spill code optimization and ultimate coalescing.

Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments.

Jeffrey Larson, Mikael Johansson, Mats Carlsson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

On matrices, automata, and double counting in constraint programming.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints An Int. J., 2013

On the reification of global constraints.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints An Int. J., 2013

GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials.

Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

Constraint-based code generation.

Roberto Castañeda Lozano, Gabriel Hjort Blindell, Mats Carlsson, Frej Drejhammar, Christian Schulte

Proceedings of the International Workshop on Software and Compilers for Embedded Systems, 2013

A Synchronized Sweep Algorithm for the <i>k-dimensional cumulative</i> Constraint.

Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2012

SICStus Prolog - The first 25 years.

Mats Carlsson, Per Mildner

Theory Pract. Log. Program., 2012

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.

Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin

Proceedings of the ECAI 2012, 2012

Constraint-Based Register Allocation and Instruction Scheduling.

Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte

Proceedings of the Principles and Practice of Constraint Programming, 2012

A Scalable Sweep Algorithm for the cumulative Constraint.

Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

New filtering for the <i>cumulative</i> constraint in the context of non-overlapping rectangles.

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Emmanuel Poder

Ann. Oper. Res., 2011

Random Indexing for Finding Similar Nodes within Large RDF graphs.

Danica Damljanovic, Johann Petrak, Mihai Lupu, Hamish Cunningham, Mats Carlsson, Gunnar Engstrom, Bo Andersson

Proceedings of the Fourth International Workshop on REsource Discovery, 2011

2010

Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems.

Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages

ERCIM News, 2010

On Matrices, Automata, and Double Counting.

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

A Generic Visualization Platform for CP.

Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Constraint Programming in Sweden.

Pierre Flener, Mats Carlsson, Christian Schulte

IEEE Intell. Syst., 2009

Six Ways of Integrating Symmetries within Non-overlapping Constraints.

Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

RF transmitter architecture investigation for power efficient mobile WiMAX applications.

Liang Rong, Fredrik Jonsson, Lirong Zheng, Mats Carlsson, Charlotta Hedenas

Proceedings of the 2008 IEEE International Symposium on System-on-Chip, 2008

New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles.

Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules.

Mats Carlsson, Nicolas Beldiceanu, Julien Martin

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Global Constraint Catalogue: Past, Present and Future.

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit

Constraints An Int. J., 2007

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic <i>k</i>-Dimensional Objects.

Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Finite Domain Constraint Programming Systems.

Christian Schulte, Mats Carlsson

Proceedings of the Handbook of Constraint Programming, 2006

Sweep synchronization as a global propagation mechanism.

Nicolas Beldiceanu, Mats Carlsson, Sven Thiel

Comput. Oper. Res., 2006

Graph Properties Based Filtering.

Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Reformulation of Global Constraints Based on Constraints Checkers.

Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit

Constraints An Int. J., 2005

Graph Invariants as Necessary Conditions for Global Constraints.

Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Global gene expression analysis by combinatorial optimization.

Adam Ameur, Erik Aurell, Mats Carlsson, Jakub Orzechowski Westholm

Silico Biol., 2004

From Constraints to Finite Automata to Filtering Algorithms.

Mats Carlsson, Nicolas Beldiceanu

Proceedings of the Programming Languages and Systems, 2004

Deriving Filtering Algorithms from Constraint Checkers.

Nicolas Beldiceanu, Mats Carlsson, Thierry Petit

Proceedings of the Principles and Practice of Constraint Programming, 2004

Dispensation Order Generation for Pyrosequencing.

Mats Carlsson, Nicolas Beldiceanu

Proceedings of the Second Asia-Pacific Bioinformatics Conference (APBC 2004), 2004

2002

Tracing and Explaining Execution of CLP(FD) Programs.

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson

Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

A New Multi-resource cumulatives Constraint with Negative Heights.

Nicolas Beldiceanu, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Parallel execution of prolog programs: a survey.

Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo

ACM Trans. Program. Lang. Syst., 2001

Instruction Merging and Specialization in the SICStus Prolog Virtual Machine.

Henrik Nässén, Mats Carlsson, Konstantinos Sagonas

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family.

Nicolas Beldiceanu, Mats Carlsson

Proceedings of the Logic Programming, 17th International Conference, 2001

Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint.

Nicolas Beldiceanu, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming, 2001

1999

Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing.

Mats Carlsson, Per Kreuger, Emil Åström

Proceedings of the Practical Aspects of Declarative Languages, 1999

Aggregation and reclassification-assessment of GALEN methods in the domain of thoracic surgery.

Mats Carlsson, Jeremy Rogers, Hans Åhlfeldt

Proceedings of the AMIA 1999, 1999

1998

Design and Application of a Terminology Management System.

Mats Carlsson, Daniel Karlsson, Hans Åhlfeldt, Ove Wigertz

Proceedings of the MEDINFO '98, 1998

SICStus MT - Multithreaded Execution Environment for SICStus Prolog.

Jesper Eskilson, Mats Carlsson

Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

1997

An Open-Ended Finite Domain Constraint Solver.

Mats Carlsson, Greger Ottosson, Björn Carlson

Proceedings of the Programming Languages: Implementations, 1997

1996

Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems.

Gopal Gupta, Mats Carlsson

J. Log. Program., 1996

Towards an Open Finite Domain Constraint Solver.

Mats Carlsson, Björn Carlson, Greger Ottosson

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995

The implementation of AKL(FD).

Björn Carlson, Mats Carlsson, Sverker Janson

Proceedings of the Logic Programming, 1995

Compiling and Executing Disjunctions of Finite Domain Constraints.

Björn Carlson, Mats Carlsson

Proceedings of the Logic Programming, 1995

1994

Entailment of Finite Domain Constraints.

Björn Carlson, Mats Carlsson, Daniel Diaz

Proceedings of the Logic Programming, 1994

1993

Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques.

Mats Carlsson, Mats Grindal

Proceedings of the Logic Programming, 1993

FUDGETS: A Graphical User Interface in a Lazy Functional Language.

Mats Carlsson, Thomas Hallgren

Proceedings of the conference on Functional programming languages and computer architecture, 1993

1991

Interfacing Engines and Schedulers in OR-Parallel Prolog Systems.

Péter Szeredi, Rong Yang, Mats Carlsson

Proceedings of the PARLE '91: Parallel Architectures and Languages Europe, 1991

1990

Design and implementation of an or-parallel Prolog engine.

Mats Carlsson

PhD thesis, 1990

1989

On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog.

Mats Carlsson

Proceedings of the Logic Programming, 1989

1988

Garbage Collection for Prolog Based on WAM.

Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin

Commun. ACM, 1988

A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment.

Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek

Proceedings of the Logic Programming, 1988

The Aurora Or-Parallel Prolog System.

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

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Freeze, Indexing, and Other Implementation Issues in the WAM.

Mats Carlsson

Proceedings of the Logic Programming, 1987

1985

A Microcoded Unifier for Lisp Machine Prolog.

Mats Carlsson

Proceedings of the 1985 Symposium on Logic Programming, 1985

1984

On Implementing Prolog in Functional Programming.

Mats Carlsson

New Gener. Comput., 1984

The Compilation of Prolog Programs without the Use of a Prolog Compiler.

Kenneth M. Kahn, Mats Carlsson

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

How to Implement Prolog on a LISP Machine.

Kenneth M. Kahn, Mats Carlsson

Proceedings of the Implementations of Prolog. , 1984