×

zbMATH — the first resource for mathematics

Flener, Pierre

Compute Distance To:
Author ID: flener.pierre Recent zbMATH articles by "Flener, Pierre"
Published as: Flener, Pierre
External Links: ORCID
Documents Indexed: 35 Publications since 1993, including 1 Book

Publications by Year

Citations contained in zbMATH

23 Publications have been cited 72 times in 54 Documents Cited by Year
The tree constraint. Zbl 1133.90403
Beldiceanu, Nicolas; Flener, Pierre; Lorca, Xavier
11
2005
Introducing ESRA, a relational language for modelling combinatorial problems. Zbl 1099.68543
Flener, Pierre; Pearson, Justin; Ågren, Magnus
6
2004
Synthesis of programs in computational logic. Zbl 1080.68562
Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas; Fischer Nilsson, Jørgen
6
2004
Dynamic structural symmetry breaking for constraint satisfaction problems. Zbl 1186.68438
Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal; Ågren, Magnus
5
2009
Achievements and prospects of program synthesis. Zbl 1012.68500
Flener, Pierre
5
2002
Logic program synthesis from incomplete specifications. Zbl 0804.68090
Flener, Pierre; Deville, Yves
5
1993
On the reification of global constraints. Zbl 1328.68192
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
4
2013
Inductive synthesis of recursive logic programs: Achievements and prospects. Zbl 0949.68044
Flener, Pierre; Yılmaz, Serap
4
1999
Combining tree partitioning, precedence, and incomparability constraints. Zbl 1162.05321
Beldiceanu, Nicolas; Flener, Pierre; Lorca, Xavier
3
2008
Incremental algorithms for local search from existential second-order logic. Zbl 1153.68441
Ågren, Magnus; Flener, Pierre; Pearson, Justin
3
2005
Logic program synthesis from incomplete information. Zbl 0835.68015
Flener, Pierre
3
1994
A constraint-based local search backend for MiniZinc. Zbl 1325.90076
Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin
2
2015
Static and dynamic structural symmetry breaking. Zbl 1205.68374
Flener, Pierre; Pearson, Justin; Sellmann, Meinolf
2
2009
Design of financial CDO squared transactions using constraint programming. Zbl 1185.91157
Flener, Pierre; Pearson, Justin; Reyna, Luis G.; Sivertsson, Olof
2
2007
Inferring variable conflicts for local search. Zbl 1160.68536
Ågren, Magnus; Flener, Pierre; Pearson, Justin
2
2006
Set variables and local search. Zbl 1133.68424
Ågren, Magnus; Flener, Pierre; Pearson, Justin
2
2005
Time-series constraints: improvements and application in CP and MIP contexts. Zbl 06598653
Arafailova, Ekaterina; Beldiceanu, Nicolas; Douence, Rémi; Flener, Pierre; Francisco Rodríguez, María Andreína; Pearson, Justin; Simonis, Helmut
1
2016
Constraint solving on bounded string variables. Zbl 06605769
Scott, Joseph D.; Flener, Pierre; Pearson, Justin
1
2015
On matrices, automata, and double counting. Zbl 1285.68147
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
1
2010
Generic incremental algorithms for local search. Zbl 1211.68374
Ågren, Magnus; Flener, Pierre; Pearson, Justin
1
2007
Financial portfolio optimisation. Zbl 1152.91510
Flener, Pierre; Pearson, Justin; Reyna, Luis G.
1
2004
Towards inferring labelling heuristics for CSP application domains. Zbl 1007.68583
Kiziltan, Zeynep; Flener, Pierre; Hnich, Brahim
1
2001
An abstract formalization of correct schemas for program synthesis. Zbl 0959.68013
Flener, Pierre; Lau, Kung-Kiu; Ornaghi, Mario; Richardson, Julian
1
2000
Time-series constraints: improvements and application in CP and MIP contexts. Zbl 06598653
Arafailova, Ekaterina; Beldiceanu, Nicolas; Douence, Rémi; Flener, Pierre; Francisco Rodríguez, María Andreína; Pearson, Justin; Simonis, Helmut
1
2016
A constraint-based local search backend for MiniZinc. Zbl 1325.90076
Björdal, Gustav; Monette, Jean-Noël; Flener, Pierre; Pearson, Justin
2
2015
Constraint solving on bounded string variables. Zbl 06605769
Scott, Joseph D.; Flener, Pierre; Pearson, Justin
1
2015
On the reification of global constraints. Zbl 1328.68192
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
4
2013
On matrices, automata, and double counting. Zbl 1285.68147
Beldiceanu, Nicolas; Carlsson, Mats; Flener, Pierre; Pearson, Justin
1
2010
Dynamic structural symmetry breaking for constraint satisfaction problems. Zbl 1186.68438
Flener, Pierre; Pearson, Justin; Sellmann, Meinolf; Van Hentenryck, Pascal; Ågren, Magnus
5
2009
Static and dynamic structural symmetry breaking. Zbl 1205.68374
Flener, Pierre; Pearson, Justin; Sellmann, Meinolf
2
2009
Combining tree partitioning, precedence, and incomparability constraints. Zbl 1162.05321
Beldiceanu, Nicolas; Flener, Pierre; Lorca, Xavier
3
2008
Design of financial CDO squared transactions using constraint programming. Zbl 1185.91157
Flener, Pierre; Pearson, Justin; Reyna, Luis G.; Sivertsson, Olof
2
2007
Generic incremental algorithms for local search. Zbl 1211.68374
Ågren, Magnus; Flener, Pierre; Pearson, Justin
1
2007
Inferring variable conflicts for local search. Zbl 1160.68536
Ågren, Magnus; Flener, Pierre; Pearson, Justin
2
2006
The tree constraint. Zbl 1133.90403
Beldiceanu, Nicolas; Flener, Pierre; Lorca, Xavier
11
2005
Incremental algorithms for local search from existential second-order logic. Zbl 1153.68441
Ågren, Magnus; Flener, Pierre; Pearson, Justin
3
2005
Set variables and local search. Zbl 1133.68424
Ågren, Magnus; Flener, Pierre; Pearson, Justin
2
2005
Introducing ESRA, a relational language for modelling combinatorial problems. Zbl 1099.68543
Flener, Pierre; Pearson, Justin; Ågren, Magnus
6
2004
Synthesis of programs in computational logic. Zbl 1080.68562
Basin, David; Deville, Yves; Flener, Pierre; Hamfelt, Andreas; Fischer Nilsson, Jørgen
6
2004
Financial portfolio optimisation. Zbl 1152.91510
Flener, Pierre; Pearson, Justin; Reyna, Luis G.
1
2004
Achievements and prospects of program synthesis. Zbl 1012.68500
Flener, Pierre
5
2002
Towards inferring labelling heuristics for CSP application domains. Zbl 1007.68583
Kiziltan, Zeynep; Flener, Pierre; Hnich, Brahim
1
2001
An abstract formalization of correct schemas for program synthesis. Zbl 0959.68013
Flener, Pierre; Lau, Kung-Kiu; Ornaghi, Mario; Richardson, Julian
1
2000
Inductive synthesis of recursive logic programs: Achievements and prospects. Zbl 0949.68044
Flener, Pierre; Yılmaz, Serap
4
1999
Logic program synthesis from incomplete information. Zbl 0835.68015
Flener, Pierre
3
1994
Logic program synthesis from incomplete specifications. Zbl 0804.68090
Flener, Pierre; Deville, Yves
5
1993
all top 5

Cited by 133 Authors

13 Flener, Pierre
8 Pearson, Justin
7 Beldiceanu, Nicolas
5 Carlsson, Mats
4 Jebelean, Tudor
3 Ågren, Magnus
2 Basin, David A.
2 Deville, Yves
2 Drămnesc, Isabela
2 Garcia de la Banda, Maria
2 Italiano, Giuseppe Francesco
2 Kitzelmann, Emanuel
2 Laura, Luigi
2 Lorca, Xavier
2 Miguel, Ian
2 Popov, Nikolaj
2 Santaroni, Federico
2 Sellmann, Meinolf
2 Simonis, Helmut
2 Stuckey, Peter James
2 Wallace, Mark G.
1 Akgün, Özgür
1 Anders, Gerrit
1 Anderson, Penny
1 Andon, F. I.
1 Arafailova, Ekaterina
1 Audemard, Gilles
1 Ayari, Abdelwaheb
1 Beketov, A. G.
1 Benchimol, Pascal
1 Björdal, Gustav
1 Boussemart, Frédéric
1 Brown, Kenneth N.
1 Buchberger, Bruno
1 Cadoli, Marco
1 Cañete-Valdeón, José M.
1 Correia, Alexandre C. M.
1 Crǎciun, Adrian
1 Cropper, Andrew
1 Dasseville, Ingmar
1 De Raedt, Luc
1 Dekker, Jip J.
1 Delaite, Antoine
1 Demassey, Sophie
1 Demoen, Bart
1 Denecker, Marc
1 Dooms, Gregoire
1 Doroshenko, A. E.
1 Douence, Rémi
1 Dries, Anton
1 Erdem, Esra
1 Fages, Jean-Guillaume
1 Firmani, Donatella
1 Francis, Kathryn Glenn
1 Freuder, Eugene C.
1 Frisch, Alan M.
1 Galán, Francisco J.
1 Gent, Ian Philip
1 Georgiadis, Loukas
1 Guns, Tias
1 Harao, Masateru
1 Harvey, Warwick
1 Hirata, Kouichi
1 Houndji, Vinasetan Ratheil
1 Hounkonnou, Mahouton Norbert
1 Iovchev, V. A.
1 Iyoda, Juliano
1 Jaberi, Raed
1 Janssens, Gerda
1 Jefferson, Chris
1 Jefferson, Christopher
1 Katriel, Irit
1 Knapp, Alexander
1 Kovács, Laura Ildikó
1 Kutsia, Temur
1 Lämmel, Ralf
1 Lapègue, Tanguy
1 Lau, Kung-Kiu
1 Lebbah, Fatima Zohra
1 Lebbah, Yahia
1 Lecoutre, Christophe
1 Lee, Jimmy Ho-man
1 Mancini, Toni
1 Marriott, Kim
1 Martínez-Hernández, Bernadette
1 Mears, Christopher
1 Monette, Jean-Noël
1 Morel, Rolf
1 Mota, Alexandre C.
1 Muggleton, Stephen H.
1 Nakagawa, Koji
1 Nethercote, Nicholas
1 Nightingale, Peter W.
1 Nijssen, Siegfried
1 Ornaghi, Mario
1 O’Sullivan, Barry
1 Pesant, Gilles
1 Petit, Thierry
1 Piette, Cédric
1 Piroi, Florina
...and 33 more Authors

Citations by Year