default search action
Mats Carlsson
Person information
- affiliation: Swedish Institute of Computer Science, Stockholm, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j23]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: 108513 (2024) - 2023
- [j22]Johan Wessén
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): 71-104 (2023) - [j21]Sara Frimodig
Comparing Optimization Methods for Radiation Therapy Patient Scheduling using Different Objectives. Oper. Res. Forum 4(4): 83 (2023) - [j20]Mats Carlsson, Sara Ceschia
Exact and metaheuristic methods for a real-world examination timetabling problem. J. Sched. 26(4): 353-367 (2023) - 2020
- [c67]Mathieu Collet, Arnaud Gotlieb
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. CP 2020: 707-723 - [c66]Johan Wessén
Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization. CPAIOR 2020: 511-520
2010 – 2019
- 2019
- [j19]Roberto Castañeda Lozano
Combinatorial Register Allocation and Instruction Scheduling. ACM Trans. Program. Lang. Syst. 41(3): 17:1-17:53 (2019) - [c65]Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson:
Time-aware Test Execution Scheduling for Cyber-Physical Systems. SE/SWM 2019: 121-122 - [i7]Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson:
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems. CoRR abs/1902.04627 (2019) - [i6]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 abs/1912.01532 (2019) - 2018
- [c64]Catherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson:
Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover. SEFM 2018: 239-253 - [i5]Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte:
Combinatorial Register Allocation and Instruction Scheduling. CoRR abs/1804.02452 (2018) - 2017
- [j18]Jip J. Dekker
Auto-tabling for subproblem presolving in MiniZinc. Constraints An Int. J. 22(4): 512-529 (2017) - [j17]Mats Carlsson, Mikael Johansson, Jeffrey Larson
Scheduling double round-robin tournaments with divisional play using constraint programming. Eur. J. Oper. Res. 259(3): 1180-1190 (2017) - [j16]Gabriel Hjort Blindell, Mats Carlsson, Roberto Castañeda Lozano, Christian Schulte:
Complete and Practical Universal Instruction Selection. ACM Trans. Embed. Comput. Syst. 16(5s): 119:1-119:18 (2017) - [c63]Morten Mossige, Arnaud Gotlieb, Helge Spieker
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. CP 2017: 387-404 - [c62]Nicolas Beldiceanu
Range-Consistent Forbidden Regions of Allen's Relations. CPAIOR 2017: 21-29 - [c61]Mats Carlsson, Olga Grinchtein, Justin Pearson:
Modelling and Verification of User Interactions Using Constraint Programming. QRS Companion 2017: 541-547 - 2016
- [j15]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): 22-40 (2016) - [c60]Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Petillon:
Automated Regression Testing Using Constraint Programming. AAAI 2016: 4010-4015 - [c59]Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte:
Register allocation and instruction scheduling in Unison. CC 2016: 263-264 - [c58]Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. CP 2016: 13-29 - [c57]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: 48-58 - [c56]Mats Carlsson, Arnaud Gotlieb, Dusica Marijan:
Software Product Line Test Suite Reduction with Constraint Optimization. ICSOFT (Selected Papers) 2016: 68-87 - [i4]Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez
Global Constraint Catalog, Volume II, Time-Series Constraints. CoRR abs/1609.08925 (2016) - 2015
- [j14]Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu:
Synchronized sweep algorithms for scalable scheduling constraints. Constraints An Int. J. 20(2): 183-234 (2015) - [c55]Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte:
Modeling Universal Instruction Selection. CP 2015: 609-626 - [c54]Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte:
Erratum to: Modeling Universal Instruction Selection. CP 2015 - [c53]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme:
A Modelling Pearl with Sortedness Constraints. GCAI 2015: 27-41 - [c52]Olga Grinchtein, Mats Carlsson, Justin Pearson:
Testing of a telecommunication protocol using constraint programming. ICST Workshops 2015: 1-3 - [c51]Ambuj Varshney, Luca Mottola
Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks. SenSys 2015: 351-364 - [c50]Olga Grinchtein, Mats Carlsson, Justin Pearson:
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. TAP@STAF 2015: 137-154 - [i3]Mats Carlsson:
Combinatorial Problem Solving for Fair Play. ERCIM News 2015(100) (2015) - 2014
- [c49]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. CP 2014: 142-157 - [c48]Jeffrey Larson
An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments. CPAIOR 2014: 144-158 - [c47]Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte:
Combinatorial spill code optimization and ultimate coalescing. LCTES 2014: 23-32 - [c46]Mats Carlsson, Olga Grinchtein, Justin Pearson:
Protocol Log Analysis with Constraint Programming. SMT 2014: 17-26 - 2013
- [j13]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener
On the reification of global constraints. Constraints An Int. J. 18(1): 1-6 (2013) - [j12]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener
On matrices, automata, and double counting in constraint programming. Constraints An Int. J. 18(1): 108-140 (2013) - [c45]Arnaud Letort, Mats Carlsson, Nicolas Beldiceanu:
A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint. CPAIOR 2013: 144-159 - [c44]Roberto Castañeda Lozano, Gabriel Hjort Blindell, Mats Carlsson, Frej Drejhammar, Christian Schulte:
Constraint-based code generation. M-SCOPES 2013: 93-95 - [c43]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: 149-157 - 2012
- [j11]Mats Carlsson, Per Mildner:
SICStus Prolog - The first 25 years. Theory Pract. Log. Program. 12(1-2): 35-66 (2012) - [c42]Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson:
A Scalable Sweep Algorithm for the cumulative Constraint. CP 2012: 439-454 - [c41]Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte:
Constraint-Based Register Allocation and Instruction Scheduling. CP 2012: 750-766 - [c40]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 - 2011
- [j10]Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey
New filtering for the cumulative constraint in the context of non-overlapping rectangles. Ann. Oper. Res. 184(1): 27-50 (2011) - [c39]Danica Damljanovic, Johann Petrak, Mihai Lupu, Hamish Cunningham
Random Indexing for Finding Similar Nodes within Large RDF Graphs. ESWC Workshops 2011: 156-171 - [c38]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 - 2010
- [c37]Helmut Simonis
A Generic Visualization Platform for CP. CP 2010: 460-474 - [c36]Nicolas Beldiceanu, Mats Carlsson, Pierre Flener
On Matrices, Automata, and Double Counting. CPAIOR 2010: 10-24 - [i2]Mats Carlsson, Per Mildner:
SICStus Prolog -- the first 25 years. CoRR abs/1011.5640 (2010) - [i1]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)
2000 – 2009
- 2009
- [j9]Pierre Flener, Mats Carlsson, Christian Schulte:
Constraint Programming in Sweden. IEEE Intell. Syst. 24(2): 87-89 (2009) - [c35]Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi
Six Ways of Integrating Symmetries within Non-overlapping Constraints. CPAIOR 2009: 11-25 - 2008
- [c34]Mats Carlsson, Nicolas Beldiceanu, Julien Martin:
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. CP 2008: 220-234 - [c33]Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder:
New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles. CPAIOR 2008: 21-35 - [c32]Liang Rong, Fredrik Jonsson, Lirong Zheng, Mats Carlsson, Charlotta Hedenas:
RF transmitter architecture investigation for power efficient mobile WiMAX applications. SoC 2008: 1-4 - 2007
- [j8]Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey
Global Constraint Catalogue: Past, Present and Future. Constraints An Int. J. 12(1): 21-62 (2007) - [c31]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 - 2006
- [j7]Nicolas Beldiceanu, Mats Carlsson, Sven Thiel:
Sweep synchronization as a global propagation mechanism. Comput. Oper. Res. 33(10): 2835-2851 (2006) - [c30]Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey
Graph Properties Based Filtering. CP 2006: 59-74 - [e1]Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi:
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 [contents] - [r1]Christian Schulte, Mats Carlsson:
Finite Domain Constraint Programming Systems. Handbook of Constraint Programming 2006: 495-526 - 2005
- [j6]Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit:
Reformulation of Global Constraints Based on Constraints Checkers. Constraints An Int. J. 10(4): 339-362 (2005) - [c29]Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet:
Graph Invariants as Necessary Conditions for Global Constraints. CP 2005: 92-106 - 2004
- [j5]Adam Ameur, Erik Aurell, Mats Carlsson, Jakub Orzechowski Westholm:
Global gene expression analysis by combinatorial optimization. Silico Biol. 4(2): 225-241 (2004) - [c28]Mats Carlsson, Nicolas Beldiceanu:
Dispensation Order Generation for Pyrosequencing. APBC 2004: 327-332 - [c27]Nicolas Beldiceanu, Mats Carlsson, Thierry Petit:
Deriving Filtering Algorithms from Constraint Checkers. CP 2004: 107-122 - [c26]Mats Carlsson, Nicolas Beldiceanu:
From Constraints to Finite Automata to Filtering Algorithms. ESOP 2004: 94-108 - 2002
- [c25]Nicolas Beldiceanu, Mats Carlsson:
A New Multi-resource cumulatives Constraint with Negative Heights. CP 2002: 63-79 - [c24]Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson:
Tracing and Explaining Execution of CLP(FD) Programs. WLPE 2002: 1-16 - 2001
- [j4]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) - [c23]Nicolas Beldiceanu, Mats Carlsson:
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. CP 2001: 377-391 - [c22]Nicolas Beldiceanu, Mats Carlsson:
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family. ICLP 2001: 59-73 - [c21]Henrik Nässén, Mats Carlsson, Konstantinos Sagonas
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine. PPDP 2001: 49-60
1990 – 1999
- 1999
- [c20]Mats Carlsson, Jeremy Rogers, Hans Åhlfeldt:
Aggregation and reclassification-assessment of GALEN methods in the domain of thoracic surgery. AMIA 1999 - [c19]Mats Carlsson, Per Kreuger, Emil Åström:
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing. PADL 1999: 335-349 - 1998
- [c18]Jesper Eskilson, Mats Carlsson:
SICStus MT - Multithreaded Execution Environment for SICStus Prolog. Implementation Technology for Programming Languages based on Logic 1998: 59-71 - [c17]Mats Carlsson, Daniel Karlsson, Hans Åhlfeldt, Ove Wigertz:
Design and Application of a Terminology Management System. MedInfo 1998: 207-211 - [c16]Jesper Eskilson, Mats Carlsson:
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog. PLILP/ALP 1998: 36-53 - 1997
- [c15]Mats Carlsson, Greger Ottosson
An Open-Ended Finite Domain Constraint Solver. PLILP 1997: 191-206 - 1996
- [j3]Gopal Gupta, Mats Carlsson:
Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems. J. Log. Program. 29(1-3): 1-3 (1996) - [c14]Mats Carlsson, Björn Carlson, Greger Ottosson
Towards an Open Finite Domain Constraint Solver. CP 1996: 531-532 - 1995
- [c13]Björn Carlson, Mats Carlsson:
Compiling and Executing Disjunctions of Finite Domain Constraints. ICLP 1995: 117-131 - [c12]Björn Carlson, Mats Carlsson, Sverker Janson:
The implementation of AKL(FD). ILPS 1995: 227-241 - 1994
- [c11]Björn Carlson, Mats Carlsson, Daniel Diaz:
Entailment of Finite Domain Constraints. ICLP 1994: 339-353 - 1993
- [c10]Mats Carlsson, Thomas Hallgren:
FUDGETS: A Graphical User Interface in a Lazy Functional Language. FPCA 1993: 321-330 - [c9]Mats Carlsson, Mats Grindal:
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques. ICLP 1993: 647-665 - 1991
- [c8]Péter Szeredi, Rong Yang, Mats Carlsson:
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. PARLE (2) 1991: 439-453 - 1990
- [b1]Mats Carlsson:
Design and implementation of an or-parallel Prolog engine. Royal Institute of Technology, Stockholm, Sweden, RIT / KTH / TRITA-CS 9003, 1990
1980 – 1989
- 1989
- [c7]Mats Carlsson:
On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. ICLP 1989: 3-16 - 1988
- [j2]Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin:
Garbage Collection for Prolog Based on WAM. Commun. ACM 31(6): 719-741 (1988) - [c6]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 - [c5]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 - 1987
- [c4]Mats Carlsson:
Freeze, Indexing, and Other Implementation Issues in the WAM. ICLP 1987: 40-58 - 1985
- [c3]Mats Carlsson:
A Microcoded Unifier for Lisp Machine Prolog. SLP 1985: 162-171 - 1984
- [j1]Mats Carlsson:
On Implementing Prolog in Functional Programming. New Gener. Comput. 2(4): 347-359 (1984) - [c2]Kenneth M. Kahn, Mats Carlsson:
The Compilation of Prolog Programs without the Use of a Prolog Compiler. FGCS 1984: 348-355 - [c1]Mats Carlsson:
On Implementing Prolog in Functional Programming. SLP 1984: 154-159 - [p1]Kenneth M. Kahn, Mats Carlsson:
How to Implement Prolog on a LISP Machine. Implementations of Prolog 1984: 117-134
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: