×

zbMATH — the first resource for mathematics

Garcia de la Banda, Maria

Compute Distance To:
Author ID: garcia-de-la-banda.maria Recent zbMATH articles by "Garcia de la Banda, Maria"
Published as: De La Banda, Maria Garcia; Garcia de la Banda, M.; Garcia de la Banda, Maria; García de la Banda, Maria; García de la Banda, María; La Banda, María García De; de la Banda, Maria Garcia
External Links: ORCID
Documents Indexed: 37 Publications since 1996, including 2 Books

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 119 times in 98 Documents Cited by Year
The design of the zinc modelling language. Zbl 1146.68352
Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark
24
2008
The refined operational semantics of constraint handling rules. Zbl 1104.68359
Duck, Gregory J.; Stuckey, Peter J.; García de la Banda, María; Holzbaur, Christian
19
2004
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism. Zbl 0927.68018
Muthukumar, K.; Bueno, F.; García de la Banda, María; Hermenegildo, M.
9
1999
Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Zbl 1154.68013
Garcia de la Banda, Maria (ed.); Pontelli, Enrico (ed.)
7
2008
The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517
Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby
7
2005
Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170
De La Banda, Maria Garcia; Stuckey, Peter J.
6
2007
Solving talent scheduling with dynamic programming. Zbl 1243.90059
De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey
5
2011
Optimizing compilation of constraint handling rules in HAL. Zbl 1104.68010
Holzbaur, Christian; Garcia de la Banda, Maria; Stuckey, Peter J.; Duck, Gregory J.
5
2005
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
4
2014
Lock-free parallel dynamic programming. Zbl 1233.68225
Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony
4
2010
Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
4
2010
Lightweight dynamic symmetry breaking. Zbl 1338.90269
Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark
3
2014
On implementing symmetry detection. Zbl 1181.68177
Mears, C.; Garcia de la Banda, M.; Wallace, M.
3
2009
A novel approach for detecting symmetries in CSP models. Zbl 1142.68520
Mears, Christopher; Garcia de la Banda, Maria; Wallace, Mark; Demoen, Bart
3
2008
Checking modes of HAL programs. Zbl 1083.68019
García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart
3
2005
Differential methods in logic program analysis. Zbl 0905.68029
García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald
3
1998
To the gates of HAL: A HAL tutorial. Zbl 1019.68514
García de la Banda, María; Demoen, Bart; Marriott, Kim; Stuckey, Peter J.
2
2002
Visual search tree profiling. Zbl 1334.90170
Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria
1
2016
Redundant Sudoku rules. Zbl 1312.68035
Demoen, Bart; Garcia de la Banda, Maria
1
2014
Set-sharing is not always redundant for pair-sharing. Zbl 1122.68364
Bueno, Francisco; Garcia de la Banda, Maria
1
2004
A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557
Puebla, Germán; Correas, Jesús; Hermenegildo, Manuel V.; Bueno, Francisco; García de la Banda, María; Marriott, Kim; Stuckey, Peter J.
1
2004
Herbrand constraints in HAL. Zbl 1080.68551
Demoen, Bart; García de la Banda, María; Harvey, Warwick; Marriott, Kim; Overton, David; Stuckey, Peter J.
1
2004
Optimizing compilation of constraint handling rules. Zbl 1053.68533
Holzbaur, Christian; García de la Banda, María; Jeffery, David; Stuckey, Peter J.
1
2001
Type constraint solving for parametric and ad-hoc polymorphism. Zbl 0959.68022
Demoen, Bart; García de la Banda, María; Stuckey, Peter J.
1
1999
Exploiting goal independence in the analysis of logic programs. Zbl 0883.68027
Codish, Michael; Bruynooghe, Maurice; García de la Banda, María; Hermenegildo, Manuel
1
1997
Visual search tree profiling. Zbl 1334.90170
Shishmarev, Maxim; Mears, Christopher; Tack, Guido; Garcia de la Banda, Maria
1
2016
Symmetries, almost symmetries, and lazy clause generation. Zbl 1316.90045
Chu, Geoffrey; de la Banda, Maria Garcia; Mears, Christopher; Stuckey, Peter J.
4
2014
Lightweight dynamic symmetry breaking. Zbl 1338.90269
Mears, Christopher; de la Banda, Maria Garcia; Demoen, Bart; Wallace, Mark
3
2014
Redundant Sudoku rules. Zbl 1312.68035
Demoen, Bart; Garcia de la Banda, Maria
1
2014
Solving talent scheduling with dynamic programming. Zbl 1243.90059
De La Banda, Maria Garcia; Stuckey, Peter J.; Chu, Geoffrey
5
2011
Lock-free parallel dynamic programming. Zbl 1233.68225
Stivala, Alex; Stuckey, Peter J.; De La Banda, Maria Garcia; Hermenegildo, Manuel; Wirth, Anthony
4
2010
Automatically exploiting subproblem equivalence in constraint programming. Zbl 1285.68153
Chu, Geoffrey; de la Banda, Maria Garcia; Stuckey, Peter J.
4
2010
On implementing symmetry detection. Zbl 1181.68177
Mears, C.; Garcia de la Banda, M.; Wallace, M.
3
2009
The design of the zinc modelling language. Zbl 1146.68352
Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark
24
2008
Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Zbl 1154.68013
Garcia de la Banda, Maria (ed.); Pontelli, Enrico (ed.)
7
2008
A novel approach for detecting symmetries in CSP models. Zbl 1142.68520
Mears, Christopher; Garcia de la Banda, Maria; Wallace, Mark; Demoen, Bart
3
2008
Dynamic programming to minimize the maximum number of open stacks. Zbl 1241.90170
De La Banda, Maria Garcia; Stuckey, Peter J.
6
2007
The G12 project: Mapping solver independent models to efficient solutions. Zbl 1165.68517
Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby
7
2005
Optimizing compilation of constraint handling rules in HAL. Zbl 1104.68010
Holzbaur, Christian; Garcia de la Banda, Maria; Stuckey, Peter J.; Duck, Gregory J.
5
2005
Checking modes of HAL programs. Zbl 1083.68019
García de la Banda, Maria; Harvey, Warwick; Marriott, Kim; Stuckey, Peter J.; Demoen, Bart
3
2005
The refined operational semantics of constraint handling rules. Zbl 1104.68359
Duck, Gregory J.; Stuckey, Peter J.; García de la Banda, María; Holzbaur, Christian
19
2004
Set-sharing is not always redundant for pair-sharing. Zbl 1122.68364
Bueno, Francisco; Garcia de la Banda, Maria
1
2004
A generic framework for context-sensitive analysis of modular programs. Zbl 1080.68557
Puebla, Germán; Correas, Jesús; Hermenegildo, Manuel V.; Bueno, Francisco; García de la Banda, María; Marriott, Kim; Stuckey, Peter J.
1
2004
Herbrand constraints in HAL. Zbl 1080.68551
Demoen, Bart; García de la Banda, María; Harvey, Warwick; Marriott, Kim; Overton, David; Stuckey, Peter J.
1
2004
To the gates of HAL: A HAL tutorial. Zbl 1019.68514
García de la Banda, María; Demoen, Bart; Marriott, Kim; Stuckey, Peter J.
2
2002
Optimizing compilation of constraint handling rules. Zbl 1053.68533
Holzbaur, Christian; García de la Banda, María; Jeffery, David; Stuckey, Peter J.
1
2001
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism. Zbl 0927.68018
Muthukumar, K.; Bueno, F.; García de la Banda, María; Hermenegildo, M.
9
1999
Type constraint solving for parametric and ad-hoc polymorphism. Zbl 0959.68022
Demoen, Bart; García de la Banda, María; Stuckey, Peter J.
1
1999
Differential methods in logic program analysis. Zbl 0905.68029
García de la Banda, María; Marriott, Kim; Stuckey, Peter; Søndergaard, Harald
3
1998
Exploiting goal independence in the analysis of logic programs. Zbl 0883.68027
Codish, Michael; Bruynooghe, Maurice; García de la Banda, María; Hermenegildo, Manuel
1
1997
all top 5

Cited by 210 Authors

12 Stuckey, Peter James
11 Hermenegildo, Manuel V.
7 Demoen, Bart
7 Garcia de la Banda, Maria
6 Schrijvers, Tom
6 Wallace, Mark G.
5 Carro, Manuel
4 Frühwirth, Thom
4 Gabbrielli, Maurizio
3 Casas, Amadeo
3 Christiansen, Henning
3 Chu, Geoffrey
3 De Koninck, Leslie
3 Mears, Christopher
3 Meo, Maria Chiara
3 Sneyers, Jon
3 Van Weert, Peter
2 Bruynooghe, Maurice
2 Bueno, Francisco
2 Carlsson, Mats
2 Ciré, André Augusto
2 de Cat, Broes
2 De Raedt, Luc
2 Duck, Gregory J.
2 Eiter, Thomas
2 Feydy, Thibaut
2 Gualandi, Stefano
2 Hooker, John N. jun.
2 Ianni, Giovambattista
2 Krennwallner, Thomas
2 López-García, Pedro
2 Malucelli, Federico
2 Mauro, Jacopo
2 Miguel, Ian
2 Puebla, Germán
2 Schütt, Andreas
2 Tack, Guido
2 Wuille, Pieter
1 Abdennadher, Slim
1 Ackley, Elena S.
1 Akgün, Özgür
1 Albert, Elvira
1 Aldasoro, Unai
1 Allouche, David
1 Alonso, César Luis
1 Amadini, Roberto
1 Amato, Gianluca
1 Anders, Gerrit
1 André, Isabelle
1 Areias, Miguel
1 Aroca Tomim, Marcelo
1 Audemard, Gilles
1 Balduccini, Marcello
1 Barbe, Sophie
1 Baselice, Sabrina
1 Beck, J. Christopher
1 Beldiceanu, Nicolas
1 Belle, Vaishak
1 Blockeel, Hendrik
1 Bock, Stefan
1 Bogaerts, Bart
1 Bonatti, Piero Andrea
1 Boussemart, Frédéric
1 Brand, Sebastian
1 Brandi, Rafael Bruno S.
1 Brewka, Gerhard
1 Chaves da Silva Junior, Ivo
1 Cheng, Tai-Chiu Edwin
1 Chico de Guzm’an, Pablo
1 Costa, Miguel Dias
1 Dao-Tran, Minh
1 Davies, Jessica
1 de Givry, Simon
1 De Pooter, Stef
1 De Schreye, Danny
1 Degrave, François
1 Denecker, Marc
1 Di Giusto, Cinzia
1 Doulabi, Seyed Hossein Hashemi
1 Dries, Anton
1 Escudero, Laureano Fernando
1 Fages, François
1 Fink, Michael
1 Flener, Pierre
1 Forrest, Stephanie
1 Francis, Kathryn Glenn
1 Freuder, Eugene C.
1 Frisch, Alan M.
1 Garcia, Laurent
1 Gassmann, Horand I.
1 Gebser, Martin
1 Gent, Ian Philip
1 Gonçalves, José Fernando
1 Gras, Daniel Cabeza
1 Guidi, Ferruccio
1 Guns, Tias
1 Gupta, Gopal K.
1 Hanus, Michael
1 Harvey, Warwick
1 Heinz, Stefan
...and 110 more Authors

Citations by Year