Edit Profile (opens in new tab) Schiex, Thomas Compute Distance To: Compute Author ID: schiex.thomas Published as: Schiex, Thomas; Schiex, T. External Links: ORCID Documents Indexed: 29 Publications since 1993, including 1 Book Co-Authors: 53 Co-Authors with 28 Joint Publications 680 Co-Co-Authors all top 5 Co-Authors 1 single-authored 13 de Givry, Simon 4 Allouche, David 4 Fargier, Hélène 4 Larrosa, Javier 4 Verfaillie, Gérard 4 Zytnicki, Matthias 3 Cooper, Martin C. 2 Barbe, Sophie 2 Bessiere, Christian 2 Gaspin, Christine 2 Katsirelos, George 2 Meseguer, Pedro 2 O’Sullivan, Barry 2 Pralet, Cédric 2 Sánchez, Martì 1 Alliot, Jean-Marc 1 André, Isabelle 1 Bistarelli, Stefano 1 Boizumault, Patrice 1 Bouchez, Martin 1 Cabon, Bertrand 1 Cayrol, Claudette 1 Cayrol, Michel 1 Chabrier, Patrick 1 Cros, Marie-Josée 1 Davies, Jessica 1 Esquirol, Patrick 1 Gutierrez, Patricia 1 Heras, Federico 1 Hurley, Barry 1 Lagasquie-Schiex, Marie-Christine 1 Lang, Jérôme 1 Lee, Jimmy Ho-man 1 Leung, Ka Lun 1 Lobjois, L. 1 Lopez, Pierre 1 Loudni, Samir 1 Martin-Clouaire, Roger 1 Métivier, Jean-Philippe 1 Milan, Denis 1 Moisan, Annick 1 Montanari, Ugo G. 1 Nguyen, Hiep 1 Palmade, Olivier 1 Peyrard, Nathalie 1 Prestwich, Steven D. 1 Rouzé, Pierre 1 Sabbadin, Régis 1 Simoncini, David 1 Traoré, Seydou 1 Vignes, Matthieu 1 Viricel, Clément 1 Wu, Yi all top 5 Serials 6 Artificial Intelligence 6 Constraints 2 The Journal of Artificial Intelligence Research (JAIR) 2 Revue d’Intelligence Artificielle 1 Belgian Journal of Operations Research, Statistics and Computer Science (JORBEL) 1 Journal of Logic and Computation 1 Annals of Mathematics and Artificial Intelligence 1 Australian & New Zealand Journal of Statistics 1 Journal of Satisfiability, Boolean Modeling and Computation all top 5 Fields 22 Computer science (68-XX) 9 Operations research, mathematical programming (90-XX) 6 Biology and other natural sciences (92-XX) 2 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 22 Publications have been cited 295 times in 156 Documents Cited by ▼ Year ▼ Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison. Zbl 0946.68143Bistarelli, S.; Montanari, U.; Rossi, F.; Schiex, T.; Verfaillie, G.; Fargier, H. 64 1999 Arc consistency for soft constraints. Zbl 1085.68672Cooper, Martin; Schiex, Thomas 29 2004 Radio link frequency assignment. Zbl 1020.94500Cabon, B.; De Givry, S.; Lobjois, L.; Schiex, T.; Warners, J. P. 29 1999 Solving weighted CSP by maintaining arc consistency. Zbl 1086.68592Larrosa, Javier; Schiex, Thomas 26 2004 Soft arc consistency revisited. Zbl 1213.68580Cooper, M. C.; de Givry, S.; Sanchez, M.; Schiex, T.; Zytnicki, M.; Werner, T. 23 2010 Solving Max-SAT as weighted CSP. Zbl 1273.68368de Givry, Simon; Larrosa, Javier; Meseguer, Pedro; Schiex, Thomas 21 2003 Nonmonotonic reasoning: From complexity to algorithms. Zbl 0905.68142Cayrol, C.; Lagasquie-Schiex, M.-C.; Schiex, T. 17 1998 Arc consistency for soft constraints. Zbl 1044.68797Schiex, Thomas 13 2000 Annotated constraint satisfaction problems. (Problèmes de satisfaction de contraintes valués.) Zbl 0940.68132Schiex, Thomas; Fargier, Hélène; Verfaillie, Gérard 11 1997 Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Zbl 1144.92324Sanchez, Marti; de Givry, Simon; Schiex, Thomas 9 2008 Maintaining reversible DAC for Max-CSP. Zbl 0911.68064Larrosa, Javier; Meseguer, Pedro; Schiex, Thomas 9 1999 Multi-language evaluation of exact solvers in graphical model discrete optimization. Zbl 1368.90107Hurley, Barry; O’Sullivan, Barry; Allouche, David; Katsirelos, George; Schiex, Thomas; Zytnicki, Matthias; de Givry, Simon 7 2016 2006 and 2007 Max-SAT evaluations: contributed instances. Zbl 1159.68565Heras, Federico; Larrosa, Javier; de Givry, Simon; Schiex, Thomas 7 2008 Computational protein design as an optimization problem. Zbl 1407.92099Allouche, David; André, Isabelle; Barbe, Sophie; Davies, Jessica; de Givry, Simon; Katsirelos, George; O’Sullivan, Barry; Prestwich, Steve; Schiex, Thomas; Traoré, Seydou 6 2014 An algebraic graphical model for decision with uncertainties, feasibilities, and utilities. Zbl 1183.68588Pralet, C.; Verfaillie, G.; Schiex, T. 6 2007 Bounds arc consistency for weighted CSPs. Zbl 1192.68656Zytnicki, M.; Gaspin, C.; de Givry, S.; Schiex, T. 5 2009 Decision under uncertainty as constraint satisfaction problem. (Traitement de problèmes de décision sous incertitude par des problèmes de satisfaction de contraintes.) Zbl 0940.68133Fargier, Hélène; Lang, Jérôme; Martin-Clouaire, Roger; Schiex, Thomas 4 1997 Tractability-preserving transformations of global cost functions. Zbl 1385.68040Allouche, David; Bessiere, Christian; Boizumault, Patrice; de Givry, Simon; Gutierrez, Patricia; Lee, Jimmy H. M.; Leung, Ka Lun; Loudni, Samir; Métivier, Jean-Philippe; Schiex, Thomas; Wu, Yi 3 2016 DARN! A weighted constraint solver for RNA motif localization. Zbl 1142.92015Zytnicki, Matthias; Gaspin, Christine; Schiex, Thomas 2 2008 Decomposition of multi-operator queries on semiring-based graphical models. Zbl 1160.68558Pralet, Cédric; Schiex, Thomas; Verfaillie, Gérard 2 2006 Constraint programming. Zbl 0874.90162Esquirol, Patrick; Lopez, Pierre; Fargier, Hélène; Schiex, Thomas 1 1995 Graphical models: queries, complexity, algorithms (tutorial). Zbl 07650889Cooper, Martin C.; De Givry, Simon; Schiex, Thomas 1 2020 Graphical models: queries, complexity, algorithms (tutorial). Zbl 07650889Cooper, Martin C.; De Givry, Simon; Schiex, Thomas 1 2020 Multi-language evaluation of exact solvers in graphical model discrete optimization. Zbl 1368.90107Hurley, Barry; O’Sullivan, Barry; Allouche, David; Katsirelos, George; Schiex, Thomas; Zytnicki, Matthias; de Givry, Simon 7 2016 Tractability-preserving transformations of global cost functions. Zbl 1385.68040Allouche, David; Bessiere, Christian; Boizumault, Patrice; de Givry, Simon; Gutierrez, Patricia; Lee, Jimmy H. M.; Leung, Ka Lun; Loudni, Samir; Métivier, Jean-Philippe; Schiex, Thomas; Wu, Yi 3 2016 Computational protein design as an optimization problem. Zbl 1407.92099Allouche, David; André, Isabelle; Barbe, Sophie; Davies, Jessica; de Givry, Simon; Katsirelos, George; O’Sullivan, Barry; Prestwich, Steve; Schiex, Thomas; Traoré, Seydou 6 2014 Soft arc consistency revisited. Zbl 1213.68580Cooper, M. C.; de Givry, S.; Sanchez, M.; Schiex, T.; Zytnicki, M.; Werner, T. 23 2010 Bounds arc consistency for weighted CSPs. Zbl 1192.68656Zytnicki, M.; Gaspin, C.; de Givry, S.; Schiex, T. 5 2009 Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. Zbl 1144.92324Sanchez, Marti; de Givry, Simon; Schiex, Thomas 9 2008 2006 and 2007 Max-SAT evaluations: contributed instances. Zbl 1159.68565Heras, Federico; Larrosa, Javier; de Givry, Simon; Schiex, Thomas 7 2008 DARN! A weighted constraint solver for RNA motif localization. Zbl 1142.92015Zytnicki, Matthias; Gaspin, Christine; Schiex, Thomas 2 2008 An algebraic graphical model for decision with uncertainties, feasibilities, and utilities. Zbl 1183.68588Pralet, C.; Verfaillie, G.; Schiex, T. 6 2007 Decomposition of multi-operator queries on semiring-based graphical models. Zbl 1160.68558Pralet, Cédric; Schiex, Thomas; Verfaillie, Gérard 2 2006 Arc consistency for soft constraints. Zbl 1085.68672Cooper, Martin; Schiex, Thomas 29 2004 Solving weighted CSP by maintaining arc consistency. Zbl 1086.68592Larrosa, Javier; Schiex, Thomas 26 2004 Solving Max-SAT as weighted CSP. Zbl 1273.68368de Givry, Simon; Larrosa, Javier; Meseguer, Pedro; Schiex, Thomas 21 2003 Arc consistency for soft constraints. Zbl 1044.68797Schiex, Thomas 13 2000 Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison. Zbl 0946.68143Bistarelli, S.; Montanari, U.; Rossi, F.; Schiex, T.; Verfaillie, G.; Fargier, H. 64 1999 Radio link frequency assignment. Zbl 1020.94500Cabon, B.; De Givry, S.; Lobjois, L.; Schiex, T.; Warners, J. P. 29 1999 Maintaining reversible DAC for Max-CSP. Zbl 0911.68064Larrosa, Javier; Meseguer, Pedro; Schiex, Thomas 9 1999 Nonmonotonic reasoning: From complexity to algorithms. Zbl 0905.68142Cayrol, C.; Lagasquie-Schiex, M.-C.; Schiex, T. 17 1998 Annotated constraint satisfaction problems. (Problèmes de satisfaction de contraintes valués.) Zbl 0940.68132Schiex, Thomas; Fargier, Hélène; Verfaillie, Gérard 11 1997 Decision under uncertainty as constraint satisfaction problem. (Traitement de problèmes de décision sous incertitude par des problèmes de satisfaction de contraintes.) Zbl 0940.68133Fargier, Hélène; Lang, Jérôme; Martin-Clouaire, Roger; Schiex, Thomas 4 1997 Constraint programming. Zbl 0874.90162Esquirol, Patrick; Lopez, Pierre; Fargier, Hélène; Schiex, Thomas 1 1995 all cited Publications top 5 cited Publications all top 5 Cited by 283 Authors 10 Cooper, Martin C. 10 Schiex, Thomas 9 de Givry, Simon 7 Larrosa, Javier 7 Živný, Stanislav 6 Wilson, Nic 5 Dubois, Didier 5 Jeavons, Peter G. 5 Lee, Jimmy Ho-man 5 Prade, Henri M. 5 Rossi, Francesca 4 Allouche, David 4 Bistarelli, Stefano 4 Boizumault, Patrice 4 Cohen, David A. 4 Eiter, Thomas 4 Jussien, Narendra 4 Loudni, Samir 4 Marquis, Pierre 3 Bessiere, Christian 3 Cambazard, Hadrien 3 Codognet, Philippe 3 Dechter, Rina 3 Gadducci, Fabio 3 Heras, Federico 3 Jégou, Philippe 3 Katsirelos, George 3 Lang, Jérôme 3 Manyà, Felip 3 Marinescu, Radu 3 Marques-Silva, João P. 3 Olarte, Carlos 3 Prestwich, Steven D. 3 Santini, Francesco 3 Venable, Kristen Brent 3 Walsh, Toby 3 Zytnicki, Matthias 2 Anders, Gerrit 2 Ansótegui, Carlos 2 Argelich, Josep 2 Barahona, Pedro 2 Benferhat, Salem 2 Bofill, Miquel 2 Erdem, Esra 2 Fargier, Hélène 2 Fink, Michael 2 Freuder, Eugene C. 2 Gelain, Mirco 2 Giunchiglia, Enrico 2 Grabisch, Michel 2 Hnich, Brahim 2 Knapp, Alexander 2 Kolmogorov, Vladimir 2 Krokhin, Andrei A. 2 Leung, Ka Lun 2 Maratea, Marco 2 Montanari, Ugo G. 2 Naanaa, Wady 2 Nieuwenhuis, Robert 2 Nigam, Vivek 2 Oliveras, Albert 2 O’Sullivan, Barry 2 Pimentel, Elaine 2 Pini, Maria Silvia 2 Planes, Jordi 2 Reif, Wolfgang 2 Rodríguez-Carbonell, Enric 2 Sánchez, Martì 2 Schiendorfer, Alexander 2 Senko, Ján 2 Tarim, S. Armagan 2 Terrioux, Cyril 2 Villaret, Mateu 1 Aardal, Karen I. 1 Al-Yahya, Tasniem Nasser 1 Alsinet, Teresa 1 Amaral, Paula Alexandra 1 Amilhastre, Jérôme 1 André, Isabelle 1 Baneres, David 1 Barbe, Sophie 1 Belle, Vaishak 1 Benhamou, Belaid 1 Benhamou, Frédéric 1 Bennaceur, Hachemi 1 Berend, Daniel 1 Bloch, Isabelle 1 Bonami, Pierre 1 Borges Garcia, Berilhes 1 Boughaci, Dalila 1 Bouquet, Fabrice 1 Bova, Simone 1 Bozzato, Loris 1 Buscemi, Maria Grazia 1 Busquets, Dídac 1 Cabrera, Inma P. 1 Cai, Shaowei 1 Carbonnel, Clément 1 Carvalho, Elsa 1 Chan, Peter ...and 183 more Authors all top 5 Cited in 33 Serials 36 Artificial Intelligence 34 Constraints 10 Annals of Mathematics and Artificial Intelligence 6 Fuzzy Sets and Systems 6 Journal of Heuristics 5 Theoretical Computer Science 5 European Journal of Operational Research 4 Information Processing Letters 4 Theory and Practice of Logic Programming 3 International Journal of Approximate Reasoning 3 Annals of Operations Research 2 Discrete Applied Mathematics 2 Journal of Computer and System Sciences 2 Mathematical Programming. Series A. Series B 1 Applied Mathematics and Computation 1 SIAM Journal on Computing 1 Mathematical Social Sciences 1 Operations Research Letters 1 Journal of Computer Science and Technology 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Journal of Global Optimization 1 Artificial Intelligence Review 1 Cybernetics and Systems Analysis 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 INFORMS Journal on Computing 1 RAIRO. Operations Research 1 JMMA. Journal of Mathematical Modelling and Algorithms 1 Frontiers of Mathematics in China 1 Optimization Letters 1 Computer Science Review all top 5 Cited in 14 Fields 110 Computer science (68-XX) 65 Operations research, mathematical programming (90-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Mathematical logic and foundations (03-XX) 4 Biology and other natural sciences (92-XX) 3 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 Associative rings and algebras (16-XX) 2 Statistics (62-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year