Edit Profile Carlsson, Mats Compute Distance To: Compute Author ID: carlsson.mats Published as: Carlsson, M.; Carlsson, Mats Documents Indexed: 31 Publications since 1985, including 2 Books all top 5 Co-Authors 0 single-authored 19 Beldiceanu, Nicolas 4 Flener, Pierre 4 Petit, Thierry 3 Pearson, Justin 2 Demassey, Sophie 2 Letort, Arnaud 2 Poder, Emmanuel 2 Truchet, Charlotte 1 Ågren, Magnus 1 Björdal, Gustav 1 Debruyne, Romuald 1 Dekker, Jip J. 1 Derrien, Alban 1 Douence, Rémi 1 Fages, François 1 Gupta, Gopal K. 1 Hnich, Brahim 1 Johansson, Mikael 1 Larson, Jeffrey 1 Mildner, Per 1 Monette, Jean-Noël 1 Prud’homme, Charles 1 Rampon, Jean-Xavier 1 Régin, Jean-Charles 1 Rossi, Francesca L. 1 Sbihi, Mohamed 1 Schütt, Andreas 1 Simonis, Helmut 1 Stuckey, Peter James 1 Thiel, Sven 1 Zampelli, Stéphane all top 5 Serials 7 Constraints 1 The Journal of Logic Programming 1 Computers & Operations Research 1 Annals of Operations Research 1 European Journal of Operational Research 1 Theory and Practice of Logic Programming 1 Lecture Notes in Computer Science Fields 21 Computer science (68-XX) 11 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications 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.68612Beldiceanu, Nicolas; Carlsson, Mats 12 2001 Global constraint catalogue: past, present and future. Zbl 1128.68092Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry 11 2007 Deriving filtering algorithms from constraint checkers. Zbl 1152.68539Beldiceanu, Nicolas; Carlsson, Mats; Petit, Thierry 9 2004 Graph invariants as necessary conditions for global constraints. Zbl 1153.68446Beldiceanu, Nicolas; Carlsson, Mats; Rampon, Jean-Xavier; Truchet, Charlotte 7 2005 SICStus Prolog – the first 25 years. Zbl 1244.68016Carlsson, Mats; Mildner, Per 6 2012 Sweep synchronization as a global propagation mechanism. Zbl 1113.68097Beldiceanu, Nicolas; Carlsson, Mats; Thiel, Sven 6 2006 Reformulation of global constraints based on constraints checkers. Zbl 1103.68804Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry 5 2005 Revisiting the cardinality operator and introducing the cardinality-path constraint family. Zbl 1053.68521Beldiceanu, Nicolas; Carlsson, Mats 5 2001 On the reification of global constraints. Zbl 1328.68192Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin 4 2013 New filtering for the cumulative constraint in the context of non-overlapping rectangles. Zbl 1142.68505Beldiceanu, Nicolas; Carlsson, Mats; Poder, Emmanuel 4 2008 Scheduling double round-robin tournaments with divisional play using constraint programming. Zbl 1402.90047Carlsson, Mats; Johansson, Mikael; Larson, Jeffrey 3 2017 A synchronized sweep algorithm for the \(k\)-dimensional cumulative constraint. Zbl 1382.68225Letort, 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.68209Beldiceanu, Nicolas; Carlsson, Mats; Petit, Thierry; Régin, Jean-Charles 2 2012 From constraints to finite automata to filtering algorithms. Zbl 1126.68338Carlsson, Mats; Beldiceanu, Nicolas 2 2004 Range-consistent forbidden regions of Allen’s relations. Zbl 06756572Beldiceanu, 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.74226Farsi, 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.68161Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut 1 2016 Synchronized sweep algorithms for scalable scheduling constraints. Zbl 1314.90039Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas 1 2015 On the Beurling-Lax theorem for domains with one hole. Zbl 1231.47019Carlsson, M. 1 2011 On subnormal operators whose spectrum are multiply connected domains. Zbl 1230.47041Carlsson, M. 1 2011 New filtering for the cumulative constraint in the context of non-overlapping rectangles. Zbl 1214.90100Beldiceanu, 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.68147Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin 1 2010 Waves in magnetic flux concentrations: The critical role of mode mixing and interference. Zbl 1008.76533Bogdan, 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.90047Carlsson, Mats; Johansson, Mikael; Larson, Jeffrey 3 2017 Range-consistent forbidden regions of Allen’s relations. Zbl 06756572Beldiceanu, 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.74226Farsi, 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.68161Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut 1 2016 Synchronized sweep algorithms for scalable scheduling constraints. Zbl 1314.90039Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas 1 2015 On the reification of global constraints. Zbl 1328.68192Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin 4 2013 A synchronized sweep algorithm for the \(k\)-dimensional cumulative constraint. Zbl 1382.68225Letort, Arnaud; Carlsson, Mats; Beldiceanu, Nicolas 3 2013 SICStus Prolog – the first 25 years. Zbl 1244.68016Carlsson, 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.68209Beldiceanu, Nicolas; Carlsson, Mats; Petit, Thierry; Régin, Jean-Charles 2 2012 On the Beurling-Lax theorem for domains with one hole. Zbl 1231.47019Carlsson, M. 1 2011 On subnormal operators whose spectrum are multiply connected domains. Zbl 1230.47041Carlsson, M. 1 2011 New filtering for the cumulative constraint in the context of non-overlapping rectangles. Zbl 1214.90100Beldiceanu, 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.68147Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin 1 2010 New filtering for the cumulative constraint in the context of non-overlapping rectangles. Zbl 1142.68505Beldiceanu, Nicolas; Carlsson, Mats; Poder, Emmanuel 4 2008 Global constraint catalogue: past, present and future. Zbl 1128.68092Beldiceanu, Nicolas; Carlsson, Mats; Demassey, Sophie; Petit, Thierry 11 2007 Sweep synchronization as a global propagation mechanism. Zbl 1113.68097Beldiceanu, Nicolas; Carlsson, Mats; Thiel, Sven 6 2006 Graph invariants as necessary conditions for global constraints. Zbl 1153.68446Beldiceanu, Nicolas; Carlsson, Mats; Rampon, Jean-Xavier; Truchet, Charlotte 7 2005 Reformulation of global constraints based on constraints checkers. Zbl 1103.68804Beldiceanu, Nicolas; Carlsson, Mats; Debruyne, Romuald; Petit, Thierry 5 2005 Deriving filtering algorithms from constraint checkers. Zbl 1152.68539Beldiceanu, Nicolas; Carlsson, Mats; Petit, Thierry 9 2004 From constraints to finite automata to filtering algorithms. Zbl 1126.68338Carlsson, Mats; Beldiceanu, Nicolas 2 2004 Waves in magnetic flux concentrations: The critical role of mode mixing and interference. Zbl 1008.76533Bogdan, 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.68612Beldiceanu, Nicolas; Carlsson, Mats 12 2001 Revisiting the cardinality operator and introducing the cardinality-path constraint family. Zbl 1053.68521Beldiceanu, Nicolas; Carlsson, Mats 5 2001 all cited Publications top 5 cited Publications 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 all top 5 Cited in 20 Serials 25 Constraints 7 Artificial Intelligence 6 Computers & Operations Research 4 Annals of Operations Research 3 European Journal of Operational Research 3 Theory and Practice of Logic Programming 1 Discrete Applied Mathematics 1 European Journal of Physics 1 Journal of Computational Physics 1 Journal of Mathematical Analysis and Applications 1 Journal of Functional Analysis 1 Science of Computer Programming 1 Journal of Automated Reasoning 1 Computational and Applied Mathematics 1 Journal of Heuristics 1 INFORMS Journal on Computing 1 RAIRO. Operations Research 1 OR Spectrum 1 JMMA. Journal of Mathematical Modelling and Algorithms 1 Logical Methods in Computer Science all top 5 Cited in 13 Fields 38 Operations research, mathematical programming (90-XX) 37 Computer science (68-XX) 5 Combinatorics (05-XX) 2 Functional analysis (46-XX) 2 Operator theory (47-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Abstract harmonic analysis (43-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Fluid mechanics (76-XX) 1 Quantum theory (81-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year