Mats Carlsson

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