×

zbMATH — the first resource for mathematics

Lecoutre, Christophe

Compute Distance To:
Author ID: lecoutre.christophe Recent zbMATH articles by "Lecoutre, Christophe"
Published as: Lecoutre, C.; Lecoutre, Christophe
Documents Indexed: 27 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 97 times in 64 Documents Cited by Year
Random constraint satisfaction: easy generation of hard (satisfiable) instances. Zbl 1168.68554
Xu, Ke; Boussemart, Frédéric; Hemery, Fred; Lecoutre, Christophe
33
2007
Generalized arc consistency for positive table constraints. Zbl 1335.90096
Lecoutre, Christophe; Szymanek, Radoslaw
12
2006
STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232
Lecoutre, Christophe
9
2011
Reasoning from last conflict(s) in constraint programming. Zbl 1185.68645
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
7
2009
A path-optimal GAC algorithm for table constraints. Zbl 1327.68220
Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C.
6
2012
Efficient algorithms for singleton arc consistency. Zbl 1216.68236
Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe
6
2011
Path consistency by dual consistency. Zbl 1145.68522
Lecoutre, Christophe; Cardon, Stéphane; Vion, Julien
4
2007
Support inference for generic filtering. Zbl 1152.68543
Boussemart, Frederic; Hemery, Fred; Lecoutre, Christophe; Sais, Lakhdar
4
2004
STR3: a path-optimal filtering algorithm for table constraints. Zbl 1328.68199
Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C.
3
2015
Second-order consistencies. Zbl 1214.68361
Lecoutre, C.; Cardon, S.; Vion, J.
3
2011
Recording and minimizing nogoods from restarts. Zbl 1144.68373
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
3
2006
Computing and restoring global inverse consistency in interactive constraint satisfaction. Zbl 1392.68382
Bessiere, Christian; Fargier, Hélène; Lecoutre, Christophe
1
2016
The smart table constraint. Zbl 06605762
Mairy, Jean-Baptiste; Deville, Yves; Lecoutre, Christophe
1
2015
Improving the lower bound of simple tabular reduction. Zbl 1316.90026
Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C.
1
2015
Sliced table constraints: combining compression and tabular reduction. Zbl 1407.68450
Gharbi, Nebras; Hemery, Fred; Lecoutre, Christophe; Roussel, Olivier
1
2014
Using SAT encodings to derive CSP value ordering heuristics. Zbl 1147.68714
Lecoutre, Christophe; Saïs, Lakhdar; Vion, Julien
1
2006
AbsCon: A prototype to solve CSPs with abstraction. Zbl 1067.68655
Merchez, Sylvain; Lecoutre, Christophe; Boussemart, Frederic
1
2001
A CSP abstraction framework. Zbl 0989.68132
Lecoutre, Christophe; Merchez, Sylvain; Boussemart, Frédéric; Grégoire, Eric
1
2000
Computing and restoring global inverse consistency in interactive constraint satisfaction. Zbl 1392.68382
Bessiere, Christian; Fargier, Hélène; Lecoutre, Christophe
1
2016
STR3: a path-optimal filtering algorithm for table constraints. Zbl 1328.68199
Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C.
3
2015
The smart table constraint. Zbl 06605762
Mairy, Jean-Baptiste; Deville, Yves; Lecoutre, Christophe
1
2015
Improving the lower bound of simple tabular reduction. Zbl 1316.90026
Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C.
1
2015
Sliced table constraints: combining compression and tabular reduction. Zbl 1407.68450
Gharbi, Nebras; Hemery, Fred; Lecoutre, Christophe; Roussel, Olivier
1
2014
A path-optimal GAC algorithm for table constraints. Zbl 1327.68220
Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C.
6
2012
STR2: optimized simple tabular reduction for table constraints. Zbl 1244.90232
Lecoutre, Christophe
9
2011
Efficient algorithms for singleton arc consistency. Zbl 1216.68236
Bessiere, Christian; Cardon, Stéphane; Debruyne, Romuald; Lecoutre, Christophe
6
2011
Second-order consistencies. Zbl 1214.68361
Lecoutre, C.; Cardon, S.; Vion, J.
3
2011
Reasoning from last conflict(s) in constraint programming. Zbl 1185.68645
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
7
2009
Random constraint satisfaction: easy generation of hard (satisfiable) instances. Zbl 1168.68554
Xu, Ke; Boussemart, Frédéric; Hemery, Fred; Lecoutre, Christophe
33
2007
Path consistency by dual consistency. Zbl 1145.68522
Lecoutre, Christophe; Cardon, Stéphane; Vion, Julien
4
2007
Generalized arc consistency for positive table constraints. Zbl 1335.90096
Lecoutre, Christophe; Szymanek, Radoslaw
12
2006
Recording and minimizing nogoods from restarts. Zbl 1144.68373
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
3
2006
Using SAT encodings to derive CSP value ordering heuristics. Zbl 1147.68714
Lecoutre, Christophe; Saïs, Lakhdar; Vion, Julien
1
2006
Support inference for generic filtering. Zbl 1152.68543
Boussemart, Frederic; Hemery, Fred; Lecoutre, Christophe; Sais, Lakhdar
4
2004
AbsCon: A prototype to solve CSPs with abstraction. Zbl 1067.68655
Merchez, Sylvain; Lecoutre, Christophe; Boussemart, Frederic
1
2001
A CSP abstraction framework. Zbl 0989.68132
Lecoutre, Christophe; Merchez, Sylvain; Boussemart, Frédéric; Grégoire, Eric
1
2000
all top 5

Cited by 139 Authors

8 Lecoutre, Christophe
5 Xu, Ke
4 Stergiou, Kostas
3 de Givry, Simon
3 Gao, Yong
3 Liu, Tian
3 Schiex, Thomas
3 Shen, Jing
3 Van Hentenryck, Pascal
3 Yap, Roland H. C.
3 Yin, Minghao
2 Allouche, David
2 Bessiere, Christian
2 Boussemart, Frédéric
2 Cai, Shaowei
2 Cooper, Martin C.
2 Deville, Yves
2 Fages, Jean-Guillaume
2 Fan, Yun
2 Gao, Zongsheng
2 Gent, Ian Philip
2 Jefferson, Christopher
2 Jiang, Hua
2 Li, Chu Min
2 Likitvivatanavong, Chavalit
2 Mairy, Jean-Baptiste
2 Miguel, Ian
2 Nightingale, Peter W.
2 O’Sullivan, Barry
2 Paparrizou, Anastasia
2 Roussel, Olivier
2 Zhang, Peng
2 Zhao, Chunyan
2 Zhou, Guangyan
2 Zhou, Junping
1 Akgün, Özgür
1 Al-Yahya, Tasniem Nasser
1 Amroun, Kamal
1 André, Isabelle
1 Audemard, Gilles
1 Balafoutis, Thanasis
1 Baneres, David
1 Barbe, Sophie
1 Benhamou, Belaid
1 Bistarelli, Stefano
1 Boizumault, Patrice
1 Cambazard, Hadrien
1 Carlsson, Mats
1 Chen, Jian-er
1 Chen, Jiejiang
1 Cheng, Kenil C. K.
1 Codognet, Philippe
1 Davies, Jessica
1 El-bachir Menai, Mohamed
1 Fang, Zhiwen
1 Fargier, Hélène
1 Fu, Yan-Rong
1 Gong, Fuzhou
1 Guo, Wensheng
1 Gutierrez, Patricia
1 Habbas, Zineb
1 Hao, Jin-Kao
1 Hebrard, Emmanuel
1 Hemery, Fred
1 Heras, Federico
1 Huang, Ping
1 Huguet, Marie-José
1 Hung, William N. N.
1 Janota, Mikoláš
1 Jégou, Philippe
1 Jiang, Wei
1 Johansson, Mikael
1 Karoui, Wafa
1 Katsirelos, George
1 Kong, Shufeng
1 Lapègue, Tanguy
1 Larson, Jeffrey
1 Lee, Jimmy Ho-man
1 Leung, Ka Lun
1 Li, Sanjiang
1 Li, Shaohua
1 Li, Wenjun
1 Li, Xiangtao
1 Li, Yongming
1 Linton, Steve A.
1 Liu, Jun
1 Liu, Jun
1 Long, Zhiguo
1 Lopez, Pierre
1 Lorca, Xavier
1 Loudni, Samir
1 Manyà, Felip
1 Marques-Silva, João P.
1 Mencía, Carlos
1 Métivier, Jean-Philippe
1 Michel, Laurent
1 Paris, Lionel
1 Petit, Thierry
1 Piechowiak, Sylvain
1 Piette, Cédric
...and 39 more Authors

Citations by Year