×

zbMATH — the first resource for mathematics

Carlsson, Mats

Compute Distance To:
Author ID: carlsson.mats Recent zbMATH articles by "Carlsson, Mats"
Published as: Carlsson, M.; Carlsson, Mats
Documents Indexed: 31 Publications since 1985, including 2 Books

Publications by Year

Citations contained in zbMATH

24 Publications have been cited 89 times in 67 Documents Cited by Year
Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint. Zbl 1067.68612
Beldiceanu, Nicolas; Carlsson, Mats
12
2001
Global constraint catalogue: past, present and future. Zbl 1128.68092
Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry
11
2007
Deriving filtering algorithms from constraint checkers. Zbl 1152.68539
Beldiceanu, Nicolas; Carlsson, Mats; Petit, Thierry
9
2004
Graph invariants as necessary conditions for global constraints. Zbl 1153.68446
Beldiceanu, Nicolas; Carlsson, Mats; Rampon, Jean-Xavier; Truchet, Charlotte
7
2005
SICStus Prolog – the first 25 years. Zbl 1244.68016
Carlsson, Mats; Mildner, Per
6
2012
Sweep synchronization as a global propagation mechanism. Zbl 1113.68097
Beldiceanu, Nicolas; Carlsson, Mats; Thiel, Sven
6
2006
Reformulation of global constraints based on constraints checkers. Zbl 1103.68804
Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry
5
2005
Revisiting the cardinality operator and introducing the cardinality-path constraint family. Zbl 1053.68521
Beldiceanu, Nicolas; Carlsson, Mats
5
2001
On the reification of global constraints. Zbl 1328.68192
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
4
2013
New filtering for the cumulative constraint in the context of non-overlapping rectangles. Zbl 1142.68505
Beldiceanu, Nicolas; Carlsson, Mats; Poder, Emmanuel
4
2008
Scheduling double round-robin tournaments with divisional play using constraint programming. Zbl 1402.90047
Carlsson, Mats; Johansson, Mikael; Larson, Jeffrey
3
2017
A synchronized sweep algorithm for the \(k\)-dimensional cumulative constraint. Zbl 1382.68225
Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas
3
2013
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. Zbl 1327.68209
Beldiceanu, Nicolas; Carlsson, Mats; Petit, Thierry; Régin, Jean-Charles
2
2012
From constraints to finite automata to filtering algorithms. Zbl 1126.68338
Carlsson, Mats; Beldiceanu, Nicolas
2
2004
Range-consistent forbidden regions of Allen’s relations. Zbl 06756572
Beldiceanu, Nicolas; Carlsson, Mats; Derrien, Alban; Prud’homme, Charles; Schutt, Andreas; Stuckey, Peter J.
1
2017
Simulation and characterisation of packed columns for cylindrical catalyst supports and other complex-shaped bodies. Zbl 1381.74226
Farsi, Ado; Xiang, J.; Latham, John-Paul; Carlsson, M.; Stitt, E. H.; Marigo, M.
1
2017
Using finite transducers for describing and synthesising structural time-series constraints. Zbl 1397.68161
Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut
1
2016
Synchronized sweep algorithms for scalable scheduling constraints. Zbl 1314.90039
Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas
1
2015
On the Beurling-Lax theorem for domains with one hole. Zbl 1231.47019
Carlsson, M.
1
2011
On subnormal operators whose spectrum are multiply connected domains. Zbl 1230.47041
Carlsson, M.
1
2011
New filtering for the cumulative constraint in the context of non-overlapping rectangles. Zbl 1214.90100
Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Poder, Emmanuel
1
2011
An exact lower energy bound for the infinite square well potential. Zbl 1217.81065
Ögren, M.; Carlsson, M.
1
2011
On matrices, automata, and double counting. Zbl 1285.68147
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
1
2010
Waves in magnetic flux concentrations: The critical role of mode mixing and interference. Zbl 1008.76533
Bogdan, T. J.; Rosenthal, C. S.; Carlsson, M.; Hansteen, V.; McMurry, A.; Zita, E. J.; Johnson, M.; Perry-Powell, S.; McIntosh, S. W.; Nordlund, Å.; Stein, R. F.; Dorch, S. B. F.
1
2002
Scheduling double round-robin tournaments with divisional play using constraint programming. Zbl 1402.90047
Carlsson, Mats; Johansson, Mikael; Larson, Jeffrey
3
2017
Range-consistent forbidden regions of Allen’s relations. Zbl 06756572
Beldiceanu, Nicolas; Carlsson, Mats; Derrien, Alban; Prud’homme, Charles; Schutt, Andreas; Stuckey, Peter J.
1
2017
Simulation and characterisation of packed columns for cylindrical catalyst supports and other complex-shaped bodies. Zbl 1381.74226
Farsi, Ado; Xiang, J.; Latham, John-Paul; Carlsson, M.; Stitt, E. H.; Marigo, M.
1
2017
Using finite transducers for describing and synthesising structural time-series constraints. Zbl 1397.68161
Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut
1
2016
Synchronized sweep algorithms for scalable scheduling constraints. Zbl 1314.90039
Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas
1
2015
On the reification of global constraints. Zbl 1328.68192
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
4
2013
A synchronized sweep algorithm for the \(k\)-dimensional cumulative constraint. Zbl 1382.68225
Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas
3
2013
SICStus Prolog – the first 25 years. Zbl 1244.68016
Carlsson, Mats; Mildner, Per
6
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. Zbl 1327.68209
Beldiceanu, Nicolas; Carlsson, Mats; Petit, Thierry; Régin, Jean-Charles
2
2012
On the Beurling-Lax theorem for domains with one hole. Zbl 1231.47019
Carlsson, M.
1
2011
On subnormal operators whose spectrum are multiply connected domains. Zbl 1230.47041
Carlsson, M.
1
2011
New filtering for the cumulative constraint in the context of non-overlapping rectangles. Zbl 1214.90100
Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Poder, Emmanuel
1
2011
An exact lower energy bound for the infinite square well potential. Zbl 1217.81065
Ögren, M.; Carlsson, M.
1
2011
On matrices, automata, and double counting. Zbl 1285.68147
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
1
2010
New filtering for the cumulative constraint in the context of non-overlapping rectangles. Zbl 1142.68505
Beldiceanu, Nicolas; Carlsson, Mats; Poder, Emmanuel
4
2008
Global constraint catalogue: past, present and future. Zbl 1128.68092
Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry
11
2007
Sweep synchronization as a global propagation mechanism. Zbl 1113.68097
Beldiceanu, Nicolas; Carlsson, Mats; Thiel, Sven
6
2006
Graph invariants as necessary conditions for global constraints. Zbl 1153.68446
Beldiceanu, Nicolas; Carlsson, Mats; Rampon, Jean-Xavier; Truchet, Charlotte
7
2005
Reformulation of global constraints based on constraints checkers. Zbl 1103.68804
Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry
5
2005
Deriving filtering algorithms from constraint checkers. Zbl 1152.68539
Beldiceanu, Nicolas; Carlsson, Mats; Petit, Thierry
9
2004
From constraints to finite automata to filtering algorithms. Zbl 1126.68338
Carlsson, Mats; Beldiceanu, Nicolas
2
2004
Waves in magnetic flux concentrations: The critical role of mode mixing and interference. Zbl 1008.76533
Bogdan, T. J.; Rosenthal, C. S.; Carlsson, M.; Hansteen, V.; McMurry, A.; Zita, E. J.; Johnson, M.; Perry-Powell, S.; McIntosh, S. W.; Nordlund, Å.; Stein, R. F.; Dorch, S. B. F.
1
2002
Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint. Zbl 1067.68612
Beldiceanu, Nicolas; Carlsson, Mats
12
2001
Revisiting the cardinality operator and introducing the cardinality-path constraint family. Zbl 1053.68521
Beldiceanu, Nicolas; Carlsson, Mats
5
2001
all top 5

Cited by 167 Authors

10 Beldiceanu, Nicolas
10 Carlsson, Mats
4 Flener, Pierre
4 Hebrard, Emmanuel
4 Petit, Thierry
3 Bessiere, Christian
3 Lee, Jimmy Ho-man
3 Pearson, Justin
3 Simonis, Helmut
2 Björdal, Gustav
2 Leung, Ka Lun
2 Lombardi, Michele
2 Monette, Jean-Noël
2 O’Sullivan, Barry
2 Pesant, Gilles
2 Rousseau, Louis-Martin
2 Scheithauer, Guntram
2 van Hoeve, Willem-Jan
1 Akartunalı, Kerem
1 Allouche, David
1 Amossen, Rasmus Resen
1 Anders, Gerrit
1 Arafailova, Ekaterina
1 Arkhipov, Dmitriĭ Igorevich
1 Artigues, Christian
1 Audemard, Gilles
1 Balduccini, Marcello
1 Banković, Milan
1 Barsan, Victor
1 Battaïa, Olga
1 Belov, G. N.
1 Belov, Gleb
1 Benini, Luca
1 Boizumault, Patrice
1 Bonfietti, Alessio
1 Boussemart, Frédéric
1 Bouveret, Sylvain
1 Cambazard, Hadrien
1 Carlier, Jacques G.
1 Carlsson, Marcus
1 Clautiaux, François
1 Cohen, David A.
1 Curto, Raúl Enrique
1 Damkhi, Mouslem
1 de Givry, Simon
1 De Raedt, Luc
1 Debruyne, Romuald
1 Dekker, Jip J.
1 del Vado Vírseda, Rafael
1 Demassey, Sophie
1 Demoen, Bart
1 Derrien, Alban
1 Desouter, Benoit
1 Deville, Yves
1 Douence, Rémi
1 Drabent, Włodzimierz
1 Duhamel, Christophe
1 Estévez-Martín, Sonia
1 Fages, Jean-Guillaume
1 Fahimi, Hamed
1 Farsi, Ado
1 Fernández, Antonio J.
1 Freuder, Eugene C.
1 Freytag, B.
1 Gent, Ian Philip
1 Goossens, Dries R.
1 Guajardo, Mario
1 Gualandi, Stefano
1 Guns, Tias
1 Gutierrez, Patricia
1 Hnich, Brahim
1 Hoppe, Travis
1 Hortalá-González, Teresa
1 Huguet, Marie-José
1 Hwang, In Sung
1 Jeavons, Peter G.
1 Jefferson, Christopher
1 Johansson, Mikael
1 Joncour, Cédric
1 Jouglet, Antoine
1 Kadioglu, Serdar
1 Kartak, Vadim M.
1 Knapp, Alexander
1 Korf, Richard E.
1 Koriche, Frédéric
1 Lacomme, Philippe
1 Lapègue, Tanguy
1 Larson, Jeffrey
1 Latham, John-Paul
1 Law, Yat Chiu
1 Lazaar, Nadjib
1 Lazarev, Aleksander Alekseevich
1 Lecoutre, Christophe
1 Lee, Woo Young
1 Lemaître, Michel
1 Letort, Arnaud
1 Levine, John M.
1 Lierler, Yuliya
1 Linton, Steve A.
1 Lopez, Pierre
...and 67 more Authors

Citations by Year