Mats Carlsson

ORCID

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 25

Top Venues

CoRR

Constraints An Int. J.

CPAIOR

Royal Institute of Technology, Stockholm, Sweden (PHD)

Education History

Royal Institute of Technology, Stockholm, Sweden

PHD

Publications

Kamran Forghani, Mats Carlsson, Pierre Flener, Magnus Fredriksson, Justin Pearson, Di Yuan
Maximizing value yield in wood industry through flexible sawing and product grading based on wane and log shape. Comput. Electron. Agric. 216 (2024)
Mats Carlsson, Sara Ceschia, Luca Di Gaspero, Rasmus Ø. Mikkelsen, Andrea Schaerf, Thomas Jacob Riis Stidsen
Exact and metaheuristic methods for a real-world examination timetabling problem. J. Sched. 26 (4) (2023)
Sara Frimodig, Per Enqvist, Mats Carlsson, Carole Mercier
Comparing Optimization Methods for Radiation Therapy Patient Scheduling using Different Objectives. Oper. Res. Forum 4 (4) (2023)
Johan Wessén, Mats Carlsson, Christian Schulte, Pierre Flener, Federico Pecora, Mihhail Matskin
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot. Constraints An Int. J. 28 (2) (2023)
Johan Wessén, Mats Carlsson, Christian Schulte
Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization. CPAIOR (2020)
Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. CP (2020)
Nicolas Beldiceanu, Mats Carlsson, Claude-Guy Quimper, Maria-Isabel Restrepo-Ruiz
Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints. CoRR (2019)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-aware Test Execution Scheduling for Cyber-Physical Systems. SE/SWM (2019)
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
Combinatorial Register Allocation and Instruction Scheduling. ACM Trans. Program. Lang. Syst. 41 (3) (2019)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems. CoRR (2019)
Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. SEFM (2018)
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
Combinatorial Register Allocation and Instruction Scheduling. CoRR (2018)
Mats Carlsson, Mikael Johansson, Jeffrey Larson
Scheduling double round-robin tournaments with divisional play using constraint programming. Eur. J. Oper. Res. 259 (3) (2017)
Mats Carlsson, Olga Grinchtein, Justin Pearson
Modelling and Verification of User Interactions Using Constraint Programming. QRS Companion (2017)
Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey
Range-Consistent Forbidden Regions of Allen's Relations. CPAIOR (2017)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. CP (2017)
Gabriel Hjort Blindell, Mats Carlsson, Roberto Castañeda Lozano, Christian Schulte
Complete and Practical Universal Instruction Selection. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Jip J. Dekker, Gustav Björdal, Mats Carlsson, Pierre Flener, Jean-Noël Monette
Auto-tabling for subproblem presolving in MiniZinc. Constraints An Int. J. 22 (4) (2017)
Arnaud Gotlieb, Mats Carlsson, Dusica Marijan, Alexandre Petillon
A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing. ICSOFT-EA (2016)
Mats Carlsson, Arnaud Gotlieb, Dusica Marijan
Software Product Line Test Suite Reduction with Constraint Optimization. ICSOFT (Selected Papers) (2016)
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
Register allocation and instruction scheduling in Unison. CC (2016)
Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis
Using finite transducers for describing and synthesising structural time-series constraints. Constraints An Int. J. 21 (1) (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. CP (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Global Constraint Catalog, Volume II, Time-Series Constraints. CoRR (2016)
Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon
Automated Regression Testing Using Constraint Programming. AAAI (2016)
Mats Carlsson
Combinatorial Problem Solving for Fair Play. ERCIM News 2015 (100) (2015)
Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte
Erratum to: Modeling Universal Instruction Selection. CP (2015)
Olga Grinchtein, Mats Carlsson, Justin Pearson
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. TAP@STAF (2015)
Ambuj Varshney, Luca Mottola, Mats Carlsson, Thiemo Voigt
Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks. SenSys (2015)
Olga Grinchtein, Mats Carlsson, Justin Pearson
Testing of a telecommunication protocol using constraint programming. ICST Workshops (2015)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme
A Modelling Pearl with Sortedness Constraints. GCAI (2015)
Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte
Modeling Universal Instruction Selection. CP (2015)
Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu
Synchronized sweep algorithms for scalable scheduling constraints. Constraints An Int. J. 20 (2) (2015)
Mats Carlsson, Olga Grinchtein, Justin Pearson
Protocol Log Analysis with Constraint Programming. SMT (2014)
Jeffrey Larson, Mikael Johansson, Mats Carlsson
An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments. CPAIOR (2014)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. CP (2014)
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
Combinatorial spill code optimization and ultimate coalescing. LCTES (2014)
Roberto Castañeda Lozano, Gabriel Hjort Blindell, Mats Carlsson, Frej Drejhammar, Christian Schulte
Constraint-based code generation. M-SCOPES (2013)
Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu
Constraint. CPAIOR (2013)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On matrices, automata, and double counting in constraint programming. Constraints An Int. J. 18 (1) (2013)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On the reification of global constraints. Constraints An Int. J. 18 (1) (2013)
Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis
GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. SOCS (2013)
Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson
A Scalable Sweep Algorithm for the cumulative Constraint. CP (2012)
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)
Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte
Constraint-Based Register Allocation and Instruction Scheduling. CP (2012)
Mats Carlsson, Per Mildner
SICStus Prolog - The first 25 years. Theory Pract. Log. Program. 12 (1-2) (2012)
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Emmanuel Poder
constraint in the context of non-overlapping rectangles. Ann. Oper. Res. 184 (1) (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. RED@ESWC (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)
Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson
A Generic Visualization Platform for CP. CP (2010)
Mats Carlsson, Per Mildner
SICStus Prolog -- the first 25 years CoRR (2010)
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson
On Matrices, Automata, and Double Counting. CPAIOR (2010)
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)
Pierre Flener, Mats Carlsson, Christian Schulte
Constraint Programming in Sweden. IEEE Intell. Syst. 24 (2) (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)
Mats Carlsson, Nicolas Beldiceanu, Julien Martin
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. CP (2008)
Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder
New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. CPAIOR (2008)
Liang Rong, Fredrik Jonsson, Lirong Zheng, Mats Carlsson, Charlotta Hedenas
RF transmitter architecture investigation for power efficient mobile WiMAX applications. SoC (2008)
Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet
-Dimensional Objects. CP (2007)
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
Global Constraint Catalogue: Past, Present and Future. Constraints An Int. J. 12 (1) (2007)
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit
Graph Properties Based Filtering. CP (2006)
Nicolas Beldiceanu, Mats Carlsson, Sven Thiel
Sweep synchronization as a global propagation mechanism. Comput. Oper. Res. 33 (10) (2006)
Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit
Reformulation of Global Constraints Based on Constraints Checkers. Constraints An Int. J. 10 (4) (2005)
Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
Graph Invariants as Necessary Conditions for Global Constraints. CP (2005)
Adam Ameur, Erik Aurell, Mats Carlsson, Jakub Orzechowski Westholm
Global gene expression analysis by combinatorial optimization. Silico Biol. 4 (2) (2004)
Mats Carlsson, Nicolas Beldiceanu
Dispensation Order Generation for Pyrosequencing. APBC (2004)
Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
Deriving Filtering Algorithms from Constraint Checkers. CP (2004)
Mats Carlsson, Nicolas Beldiceanu
From Constraints to Finite Automata to Filtering Algorithms. ESOP (2004)
Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson
Tracing and Explaining Execution of CLP(FD) Programs. WLPE (2002)
Nicolas Beldiceanu, Mats Carlsson
A New Multi-resource cumulatives Constraint with Negative Heights. CP (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) (2001)
Henrik Nässén, Mats Carlsson, Konstantinos Sagonas
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. PPDP (2001)
Nicolas Beldiceanu, Mats Carlsson
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. ICLP (2001)
Nicolas Beldiceanu, Mats Carlsson
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. CP (2001)
Mats Carlsson, Jeremy Rogers, Hans Åhlfeldt
Aggregation and reclassification-assessment of GALEN methods in the domain of thoracic surgery. AMIA (1999)
Mats Carlsson, Per Kreuger, Emil Åström
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. PADL (1999)
Jesper Eskilson, Mats Carlsson
SICStus MT - Multithreaded Execution Environment for SICStus Prolog. Implementation Technology for Programming Languages based on Logic (1998)
Jesper Eskilson, Mats Carlsson
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. PLILP/ALP (1998)
Mats Carlsson, Daniel Karlsson, Hans Åhlfeldt, Ove Wigertz
Design and Application of a Terminology Management System. MedInfo (1998)
Mats Carlsson, Greger Ottosson, Björn Carlson
An Open-Ended Finite Domain Constraint Solver. PLILP (1997)
Mats Carlsson, Björn Carlson, Greger Ottosson
Towards an Open Finite Domain Constraint Solver. CP (1996)
Gopal Gupta, Mats Carlsson
Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. J. Log. Program. 29 (1-3) (1996)
Björn Carlson, Mats Carlsson, Sverker Janson
The implementation of AKL(FD). ILPS (1995)
Björn Carlson, Mats Carlsson
Compiling and Executing Disjunctions of Finite Domain Constraints. ICLP (1995)
Björn Carlson, Mats Carlsson, Daniel Diaz
Entailment of Finite Domain Constraints. ICLP (1994)
Mats Carlsson, Thomas Hallgren
FUDGETS: A Graphical User Interface in a Lazy Functional Language. FPCA (1993)
Mats Carlsson, Mats Grindal
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. ICLP (1993)
Péter Szeredi, Rong Yang, Mats Carlsson
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. PARLE (2) (1991)
Mats Carlsson
On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. ICLP (1989)
Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin
Garbage Collection for Prolog Based on WAM. Commun. ACM 31 (6) (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)
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)
Mats Carlsson
Freeze, Indexing, and Other Implementation Issues in the WAM. ICLP (1987)
Mats Carlsson
A Microcoded Unifier for Lisp Machine Prolog. SLP (1985)
Mats Carlsson
On Implementing Prolog in Functional Programming. New Gener. Comput. 2 (4) (1984)
Kenneth M. Kahn, Mats Carlsson
The Compilation of Prolog Programs without the Use of a Prolog Compiler. FGCS (1984)
Mats Carlsson
On Implementing Prolog in Functional Programming. SLP (1984)

Mats Carlsson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mats Carlsson