×

zbMATH — the first resource for mathematics

Simonis, Helmut

Compute Distance To:
Author ID: simonis.helmut Recent zbMATH articles by "Simonis, Helmut"
Published as: Simonis, H.; Simonis, Helmut
Documents Indexed: 16 Publications since 1987, including 2 Books

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 89 times in 76 Documents Cited by Year
Constraint satisfaction using constraint logic programming. Zbl 0782.68028
Van Hentenryck, Pascal; Simonis, Helmut; Dincbas, Mehmet
22
1992
Solving large combinatorial problems in logic programming. Zbl 0719.68013
Dincbas, Mehmet; Simonis, Helmut; van Hentenryck, Pascal
20
1990
Embedding Boolean expressions into logic programming. Zbl 0641.68148
Büttner, Wolfram; Simonis, Helmut
20
1987
Solving a cutting-stock problem with the constraint logic programming language CHIP. Zbl 0800.68287
Dincbas, M.; Simonis, H.; van Hentenryck, P.
13
1992
Tuning parameters of large neighborhood search for the machine reassignment problem. Zbl 1382.68227
Malitsky, Yuri; Mehta, Deepak; O’Sullivan, Barry; Simonis, Helmut
5
2013
Building industrial applications with constraint programming. Zbl 0976.68541
Simonis, Helmut
2
2001
Search tree debugging. Zbl 0942.68551
Simonis, Helmut; Aggoun, Abder
2
1999
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
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
Integration of AI and OR techniques in constraint programming. 11th international conference, CPAIOR 2014, Cork, Ireland, May 19–23, 2014. Proceedings. Zbl 1287.68010
Simonis, Helmut (ed.)
1
2014
A resource cost aware cumulative. Zbl 1323.90023
Simonis, Helmut; Hadzic, Tarik
1
2011
Models for global constraint applications. Zbl 1115.68509
Simonis, Helmut
1
2007
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
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
Integration of AI and OR techniques in constraint programming. 11th international conference, CPAIOR 2014, Cork, Ireland, May 19–23, 2014. Proceedings. Zbl 1287.68010
Simonis, Helmut (ed.)
1
2014
Tuning parameters of large neighborhood search for the machine reassignment problem. Zbl 1382.68227
Malitsky, Yuri; Mehta, Deepak; O’Sullivan, Barry; Simonis, Helmut
5
2013
A resource cost aware cumulative. Zbl 1323.90023
Simonis, Helmut; Hadzic, Tarik
1
2011
Models for global constraint applications. Zbl 1115.68509
Simonis, Helmut
1
2007
Building industrial applications with constraint programming. Zbl 0976.68541
Simonis, Helmut
2
2001
Search tree debugging. Zbl 0942.68551
Simonis, Helmut; Aggoun, Abder
2
1999
Constraint satisfaction using constraint logic programming. Zbl 0782.68028
Van Hentenryck, Pascal; Simonis, Helmut; Dincbas, Mehmet
22
1992
Solving a cutting-stock problem with the constraint logic programming language CHIP. Zbl 0800.68287
Dincbas, M.; Simonis, H.; van Hentenryck, P.
13
1992
Solving large combinatorial problems in logic programming. Zbl 0719.68013
Dincbas, Mehmet; Simonis, Helmut; van Hentenryck, Pascal
20
1990
Embedding Boolean expressions into logic programming. Zbl 0641.68148
Büttner, Wolfram; Simonis, Helmut
20
1987
all top 5

Cited by 155 Authors

5 Van Hentenryck, Pascal
4 Simonis, Helmut
3 Baader, Franz
3 Büttner, Wolfram
3 Geffner, Hector
3 Schmidt-Schauß, Manfred
2 Adenso-Díaz, Belarmino
2 Artigues, Christian
2 Bautista, Joaquín
2 Bonet, Blai
2 Dincbas, Mehmet
2 Martin, Ursula
2 Nipkow, Tobias
2 Omodeo, Eugenio Giovanni
2 Pereira, Jordi
2 Pesch, Erwin
2 Roubens, Marc
2 Schaus, Pierre
2 Solnon, Christine
1 Aiba, Akira
1 Ajili, Farid
1 Arafailova, Ekaterina
1 Asperti, Andrea
1 Åstrand, Max
1 Beldiceanu, Nicolas
1 Bisdorff, Raymond
1 Bisschop, J. J.
1 Borba, Leonardo M.
1 Bosi, Francesco
1 Boudet, Alexandre
1 Bourreau, Eric
1 Bouveret, Sylvain
1 Brailsford, Sally C.
1 Bürckert, Hans Jürgen
1 Buriol, Luciana S.
1 Burris, Stanley N.
1 Cantone, Domenico
1 Cerny, Eduard
1 Christodoulou, Nikolaos S.
1 Cohen, David A.
1 Contejean, Evelyne
1 Corréa, Ayoub Insa
1 Cung, Van-Dat
1 del Vado Vírseda, Rafael
1 Deris, Safaai Bin
1 Deville, Yves
1 Dorndorf, Ulrich
1 Drexl, Andreas
1 Ergin, Hüseyin
1 Ernst, Andreas T.
1 Estenfeld, Klaus
1 Faghih-Mohammadi, Fatemeh
1 Formisano, Andrea
1 Fourer, Robert
1 Gagné, Caroline
1 Garcia de la Banda, Maria
1 Gervet, Carmen
1 Gharbi, Anis
1 Girodias, Pierre
1 Golynski, Alexander
1 Graf, Thomas
1 Gravel, Marc
1 Grégoire, Éric
1 Gyssens, Marc
1 Haouari, Mohamed
1 Herold, Alexander
1 Holzbaur, Christian
1 Huguet, Marie-José
1 Jacquet-Lagrèze, Eric
1 Jeavons, Peter G.
1 Jouannaud, Jean-Pierre
1 Jussien, Narendra
1 Kang, Le
1 Karoui, Wafa
1 Kedad-Sidhoum, Safia
1 Khalighi-Sikaroudi, Mohammad
1 Kharbeche, Mohamed
1 Kis, Tamás
1 Kolen, Antoon W. J.
1 Kryvyi, S. L.
1 Lagniez, Jean-Marie
1 Langevin, André
1 Laporte, Gilbert
1 Larrosa, Javier
1 Laurent, Stéphane
1 Lebbar, Maria
1 Lemaître, Michel
1 Li, Haitao
1 Lombardi, Michele
1 López-Fraguas, Francisco Javier
1 López-Ortiz, Alejandro
1 Lopez, Pierre
1 Lorca, Xavier
1 Lü, Zhipeng
1 Marriott, Kim
1 Maugeri, Pietro
1 Mayer, Joachim
1 Mazure, Bertrand
1 Mears, Christopher
1 Milano, Matthew
...and 55 more Authors

Citations by Year