×
Author ID: smith.barbara-m Recent zbMATH articles by "Smith, Barbara M."
Published as: Smith, Barbara M.; Smith, B. M.

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 203 times in 168 Documents Cited by Year
Constraint satisfaction problems: Algorithms and applications. Zbl 0938.90055
Brailsford, Sally C.; Potts, Chris N.; Smith, Barbara M.
36
1999
Random constraint satisfaction: Flaws and structure. Zbl 0992.68193
Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby
30
2001
Robust estimation – A weighted maximum likelihood approach. Zbl 0825.62428
Field, C.; Smith, B.
26
1994
Constraint models for the covering test problem. Zbl 1103.68810
Hnich, Brahim; Prestwich, Steven D.; Selensky, Evgeny; Smith, Barbara M.
21
2006
Oscillatory and asymptotic behavior of certain fourth order difference equations. Zbl 0602.39003
Smith, B.; Taylor, W. E. jun.
20
1986
Locating the phase transition in binary constraint satisfaction problems. Zbl 1508.68348
Smith, Barbara M.; Dyer, Martin E.
20
1996
Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
20
2006
Parts and moments. Studies in logic and formal ontology. Zbl 0489.03003
13
1982
Constructing an asymptotic phase transition in random binary constraint satisfaction problems. Zbl 0992.68191
Smith, B. M.
11
2001
Constraint programming for computing non-stationary \((R, S)\) inventory policies. Zbl 1146.90324
Tarim, S. Armagan; Smith, Barbara M.
11
2008
Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
11
2005
A constraint programming approach to the stable marriage problem. Zbl 1067.68639
Gent, Ian P.; Irving, Robert W.; Manlove, David F.; Prosser, Patrick; Smith, Barbara M.
10
2001
Oscillatory and asymptotic behavior in certain third order difference equations. Zbl 0632.39002
Smith, B.
10
1987
Fundamentals of graph theory. Transl. from the Russian and edited by L. Boron, C. Christenson and B. Smith, with the collaboration of the author. Zbl 0707.05001
Zykov, Alexander A.
10
1990
Oscillation and nonoscillation theorems for third order quasi-adjoint difference equations. Zbl 0665.39002
Smith, B.
9
1988
Integer linear programming and constraint programming approaches to a template design problem. Zbl 1034.90518
Proll, Les; Smith, Barbara
9
1998
A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains. Zbl 0553.68051
Wos, L.; Winker, S.; Smith, B.
9
1984
Dual modelling of permutation and injection problems. Zbl 1080.68667
Hnich, Brahim; Smith, Barbara M.; Walsh, Toby
8
2004
Linear third-order difference equations: oscillatory and asymptotic behavior. Zbl 0768.39004
Smith, B.
8
1992
Nonlinear third-order difference equations: Oscillatory and asymptotic behavior. Zbl 0688.39001
Smith, B.; Taylor, W. E. jun.
7
1988
Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains. Zbl 0488.03008
Wos, L.; Winker, S.; Veroff, R.; Smith, B.; Henschen, L.
7
1983
Search in the patience game ‘Black Hole’. Zbl 1151.90525
Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan
7
2007
Conditional symmetry breaking. Zbl 1153.68459
Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M.
7
2005
Large-scale DES computations of the forward speed diffraction and pitch and heave problems for a surface combatant. Zbl 1242.76198
Carrica, P. M.; Huang, J.; Noack, R.; Kaushik, D.; Smith, B.; Stern, F.
5
2010
Dual models of permutation problems. Zbl 1067.68674
Smith, Barbara M.
4
2001
Asymptotic behavior of solutions of a third order difference equation. Zbl 0632.39003
Smith, B.; Taylor, W. E. jun.
4
1987
Symmetry and search in a network design problem. Zbl 1133.68436
Smith, Barbara M.
4
2005
Caching search states in permutation problems. Zbl 1153.68489
Smith, Barbara M.
4
2005
Organizing a social event — A difficult problem of combinatorial optimization. Zbl 0859.90105
Brailsford, S. C.; Hubbard, P. M.; Smith, B. M.; Williams, H. P.
3
1996
Oscillation properties of fourth order linear difference equations. Zbl 0667.39001
Smith, B.; Taylor, W. E. jun.
3
1987
Oscillation and nonoscillation theorems for some mixed difference equations. Zbl 0758.39003
Smith, B.; Taylor, W. E. jun.
3
1992
Oscillation and nonoscillation in nonlinear third order difference equations. Zbl 0703.39003
Smith, B.; Taylor, W. E. jun.
3
1990
Making automatic differentiation truly automatic: Coupling PETSc with ADIC. Zbl 1062.65022
Howland, P.; Norris, B.; Smith, B.
2
2002
Models and symmetry breaking for ‘Peaceable armies of queens’. Zbl 1094.68656
Smith, Barbara M.; Petrie, Karen E.; Gent, Ian P.
2
2004
Quasi-adjoint third order difference equations: Oscillatory and asymptotic behavior. Zbl 0619.39004
Smith, B.
2
1986
Automatic generation of redundant models for permutation constraint satisfaction problems. Zbl 1125.68112
Law, Yat Chiu; Lee, Jimmy H. M.; Smith, Barbara M.
2
2007
Constraint models for graceful graphs. Zbl 1219.05172
Smith, Barbara M.; Puget, Jean-François
2
2010
Variance estimation for quadratic statistics. Zbl 0779.62085
Smith, B.; Field, C.
1
1993
Constraint programming models for graceful graphs. Zbl 1160.68565
Smith, Barbara M.
1
2006
Implementation of Neumann boundary condition with influence matrix method for viscous annular flow using pseudospectral collocation. Zbl 1325.76134
Smith, B.; Laoulache, R.; Heryudono, A.
1
2015
Implementation of Neumann boundary condition with influence matrix method for viscous annular flow using pseudospectral collocation. Zbl 1325.76134
Smith, B.; Laoulache, R.; Heryudono, A.
1
2015
Large-scale DES computations of the forward speed diffraction and pitch and heave problems for a surface combatant. Zbl 1242.76198
Carrica, P. M.; Huang, J.; Noack, R.; Kaushik, D.; Smith, B.; Stern, F.
5
2010
Constraint models for graceful graphs. Zbl 1219.05172
Smith, Barbara M.; Puget, Jean-François
2
2010
Constraint programming for computing non-stationary \((R, S)\) inventory policies. Zbl 1146.90324
Tarim, S. Armagan; Smith, Barbara M.
11
2008
Search in the patience game ‘Black Hole’. Zbl 1151.90525
Gent, Ian P.; Jefferson, Chris; Kelsey, Tom; Lynce, Inês; Miguel, Ian; Nightingale, Peter; Smith, Barbara M.; Tarim, S. Armagan
7
2007
Automatic generation of redundant models for permutation constraint satisfaction problems. Zbl 1125.68112
Law, Yat Chiu; Lee, Jimmy H. M.; Smith, Barbara M.
2
2007
Constraint models for the covering test problem. Zbl 1103.68810
Hnich, Brahim; Prestwich, Steven D.; Selensky, Evgeny; Smith, Barbara M.
21
2006
Symmetry definitions for constraint satisfaction problems. Zbl 1103.68809
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
20
2006
Constraint programming models for graceful graphs. Zbl 1160.68565
Smith, Barbara M.
1
2006
Symmetry definitions for constraint satisfaction problems. Zbl 1153.68454
Cohen, David; Jeavons, Peter; Jefferson, Christopher; Petrie, Karen E.; Smith, Barbara M.
11
2005
Conditional symmetry breaking. Zbl 1153.68459
Gent, Ian P.; Kelsey, Tom; Linton, Steve A.; McDonald, Iain; Miguel, Ian; Smith, Barbara M.
7
2005
Symmetry and search in a network design problem. Zbl 1133.68436
Smith, Barbara M.
4
2005
Caching search states in permutation problems. Zbl 1153.68489
Smith, Barbara M.
4
2005
Dual modelling of permutation and injection problems. Zbl 1080.68667
Hnich, Brahim; Smith, Barbara M.; Walsh, Toby
8
2004
Models and symmetry breaking for ‘Peaceable armies of queens’. Zbl 1094.68656
Smith, Barbara M.; Petrie, Karen E.; Gent, Ian P.
2
2004
Making automatic differentiation truly automatic: Coupling PETSc with ADIC. Zbl 1062.65022
Howland, P.; Norris, B.; Smith, B.
2
2002
Random constraint satisfaction: Flaws and structure. Zbl 0992.68193
Gent, Ian P.; Macintyre, Ewan; Prosser, Patrick; Smith, Barbara M.; Walsh, Toby
30
2001
Constructing an asymptotic phase transition in random binary constraint satisfaction problems. Zbl 0992.68191
Smith, B. M.
11
2001
A constraint programming approach to the stable marriage problem. Zbl 1067.68639
Gent, Ian P.; Irving, Robert W.; Manlove, David F.; Prosser, Patrick; Smith, Barbara M.
10
2001
Dual models of permutation problems. Zbl 1067.68674
Smith, Barbara M.
4
2001
Constraint satisfaction problems: Algorithms and applications. Zbl 0938.90055
Brailsford, Sally C.; Potts, Chris N.; Smith, Barbara M.
36
1999
Integer linear programming and constraint programming approaches to a template design problem. Zbl 1034.90518
Proll, Les; Smith, Barbara
9
1998
Locating the phase transition in binary constraint satisfaction problems. Zbl 1508.68348
Smith, Barbara M.; Dyer, Martin E.
20
1996
Organizing a social event — A difficult problem of combinatorial optimization. Zbl 0859.90105
Brailsford, S. C.; Hubbard, P. M.; Smith, B. M.; Williams, H. P.
3
1996
Robust estimation – A weighted maximum likelihood approach. Zbl 0825.62428
Field, C.; Smith, B.
26
1994
Variance estimation for quadratic statistics. Zbl 0779.62085
Smith, B.; Field, C.
1
1993
Linear third-order difference equations: oscillatory and asymptotic behavior. Zbl 0768.39004
Smith, B.
8
1992
Oscillation and nonoscillation theorems for some mixed difference equations. Zbl 0758.39003
Smith, B.; Taylor, W. E. jun.
3
1992
Fundamentals of graph theory. Transl. from the Russian and edited by L. Boron, C. Christenson and B. Smith, with the collaboration of the author. Zbl 0707.05001
Zykov, Alexander A.
10
1990
Oscillation and nonoscillation in nonlinear third order difference equations. Zbl 0703.39003
Smith, B.; Taylor, W. E. jun.
3
1990
Oscillation and nonoscillation theorems for third order quasi-adjoint difference equations. Zbl 0665.39002
Smith, B.
9
1988
Nonlinear third-order difference equations: Oscillatory and asymptotic behavior. Zbl 0688.39001
Smith, B.; Taylor, W. E. jun.
7
1988
Oscillatory and asymptotic behavior in certain third order difference equations. Zbl 0632.39002
Smith, B.
10
1987
Asymptotic behavior of solutions of a third order difference equation. Zbl 0632.39003
Smith, B.; Taylor, W. E. jun.
4
1987
Oscillation properties of fourth order linear difference equations. Zbl 0667.39001
Smith, B.; Taylor, W. E. jun.
3
1987
Oscillatory and asymptotic behavior of certain fourth order difference equations. Zbl 0602.39003
Smith, B.; Taylor, W. E. jun.
20
1986
Quasi-adjoint third order difference equations: Oscillatory and asymptotic behavior. Zbl 0619.39004
Smith, B.
2
1986
A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains. Zbl 0553.68051
Wos, L.; Winker, S.; Smith, B.
9
1984
Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains. Zbl 0488.03008
Wos, L.; Winker, S.; Veroff, R.; Smith, B.; Henschen, L.
7
1983
Parts and moments. Studies in logic and formal ontology. Zbl 0489.03003
13
1982
all top 5

Cited by 349 Authors

8 Tarim, S. Armagan
7 Rossi, Roberto
7 Stuckey, Peter James
6 Garcia de la Banda, Maria
5 Hnich, Brahim
5 Mears, Christopher
5 Simos, Dimitris E.
4 Chu, Geoffrey
4 Colbourn, Charles J.
4 Gent, Ian Philip
4 Jefferson, Christopher
4 Kampel, Ludwig
4 Lee, Jimmy Ho-man
4 Liberti, Leo
4 Miguel, Ian
4 Nightingale, Peter W.
4 O’Sullivan, Barry
4 Smith, Barbara M.
4 Torres-Jimenez, Jose
4 Wallace, Mark G.
4 Walsh, Toby
4 Xu, Ke
3 Culberson, Joseph C.
3 Demoen, Bart
3 Freuder, Eugene C.
3 Kotsireas, Ilias S.
3 Prestwich, Steven D.
3 Shen, Jing
2 Akgün, Özgür
2 Benhamou, Belaid
2 Burke, Edmund Kieran
2 Calvagna, Andrea
2 Cohen, David A.
2 Cooper, Martin C.
2 Cseh, Ágnes
2 Escamocher, Guillaume
2 Fan, Yun
2 Flener, Pierre
2 Gange, Graeme
2 Gao, Yong
2 Gargantini, Angelo
2 Gebser, Martin
2 Gong, Fuzhou
2 Gonzalez-Hernandez, Loreto
2 Hanzálek, Zdeněk
2 Kéri, Gerzson
2 Law, Yat Chiu
2 Lecoutre, Christophe
2 Li, Wei
2 Manlove, David F.
2 Molloy, Michael S. O.
2 Pini, Maria Silvia
2 Quesada, Luis O.
2 Rangel-Valdez, Nelson
2 Rossi, Francesca
2 Russell, Robert A.
2 Schekotihin, Konstantin
2 Tarzariol, Alice
2 Urban, Timothy L.
2 Venable, Kristen Brent
2 Zhang, Zhe
2 Zhou, Guangyan
2 Zivan, Roie
2 Živný, Stanislav
1 Ågren, Magnus
1 Ahmed, Shabbir
1 Akkan, Can
1 Al-Harere, Manal Naji
1 Alefragis, Panayiotis
1 Aloul, Fadi A.
1 Alphonse, Erick
1 Altinakar, Sivan
1 Amaral, Paula Alexandra
1 Ansótegui, Carlos
1 Baker, Kenneth R.
1 Banbara, Mutsunori
1 Barahona, Pedro
1 Beck, J. Christopher
1 Béjar, Ramón
1 Ben-Ammar, Oussama
1 Bendotti, Pascale
1 Benedikt, Ondřej
1 Bistarelli, Stefano
1 Björdal, Gustav
1 Bodur, Merve
1 Bollapragada, Ramesh
1 Boussemart, Frédéric
1 Boysen, Nils
1 Brailsford, Sally C.
1 Brejchová, Kateřina
1 Bright, Curtis
1 Brown, Kenneth N.
1 Bulutoglu, Dursun A.
1 Bürgler, Josef
1 Cadoli, Marco
1 Cambazard, Hadrien
1 Cang, Yeliang
1 Caporossi, Gilles
1 Caragiannis, Ioannis
1 Carbonnel, Clément
...and 249 more Authors
all top 5

Cited in 46 Serials

27 Artificial Intelligence
26 Constraints
18 European Journal of Operational Research
8 Computers & Operations Research
6 Annals of Operations Research
5 Discrete Applied Mathematics
5 Theoretical Computer Science
5 Annals of Mathematics and Artificial Intelligence
4 INFORMS Journal on Computing
4 Journal of Combinatorial Optimization
2 Physica A
2 Information Sciences
2 Journal of Automated Reasoning
2 Mathematical Programming. Series A. Series B
2 Mathematical Problems in Engineering
2 Journal of Scheduling
2 Journal of Statistical Mechanics: Theory and Experiment
2 Algorithms
1 Computers & Mathematics with Applications
1 International Journal of Systems Science
1 Information Processing Letters
1 The Mathematical Intelligencer
1 Applied Mathematics and Computation
1 Journal of Statistical Planning and Inference
1 European Journal of Combinatorics
1 Operations Research Letters
1 Combinatorica
1 International Journal of Production Research
1 Algorithmica
1 Information and Computation
1 Machine Learning
1 Random Structures & Algorithms
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Top
1 Journal of Combinatorial Designs
1 Journal of Heuristics
1 Optimization Methods & Software
1 Journal of Graph Algorithms and Applications
1 Optimization and Engineering
1 Theory and Practice of Logic Programming
1 Boletim da Sociedade Paranaense de Matemática. Terceira Série
1 Discrete Optimization
1 Optimization Letters
1 Discrete Mathematics, Algorithms and Applications
1 Science China. Information Sciences
1 Decision Analysis

Citations by Year