Hoa Thi Bui
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Research Subjects
Research Interests
Hoa Thi Bui has a total of 36 co-authors. Here are the top co-authors by number of shared publications:
- Ryan Loxton
Department of Mathematics and Statistics, Curtin University, Perth, Australia
9 shared publications - Alexander Y. Kruger
Analytical and Algebraic Methods in Optimization Research Group, Faculty of Mathematics and Statistics, Ton Duc Thang University, Ho Chi Minh City, Vietnam
6 shared publications - Guillermo Pineda-Villavicencio
Deakin University
5 shared publications - Julien Ugon
School of Information Technology, Deakin University, Melbourne, Australia
5 shared publications - Nguyen Duy Cuong
Centre for Informatics and Applied Optimization, School of Science, Engineering and Information Technology, Federation University Australia, Ballarat, Australia
3 shared publications - Regina Sandra Burachik
University of South Australia
3 shared publications
Latest Publications
- Open Access
- 21 February 2026
- Published by Elsevier in European Journal of Operational Research
An exact method for the bi-objective p-median max-sum diversity problem
- 21 February 2026
- Published by Elsevier in European Journal of Operational Research
Open AccessAn exact method for the bi-objective p-median max-sum diversity problem
- Open Access
Cutting plane methods with gradient-based heuristics
Cutting plane methods, particularly outer approximation, are a well-established approach for solving nonlinear discrete optimization problems without relaxing the integrality of decision variables. While powerful in theory, their computational performance can be highly variable. Recent research has shown that constructing cutting planes at the projection of infeasible points onto the feasible set can significantly improve the performance of cutting plane approaches. Motivated by this, we examine whether constructing cuts at feasible points closer to the optimal solution set could further enhance the effectiveness of cutting plane methods. We propose a hybrid method that combines the global convergence guarantees of cutting plane methods with the local exploration capabilities of first-order optimization techniques. Specifically, we use projected gradient methods as a heuristic to identify promising regions of the solution space and generate tighter, more informative cuts. We focus on binary optimization problems with convex differentiable objective functions, where projection operations can be efficiently computed via mixed-integer linear programming. By constructing cuts at points closer to the optimal solution set and eliminating non-optimal regions, the algorithm achieves better approximation of the feasible region and faster convergence. Numerical experiments confirm that our approach improves both the quality of the solution and computational efficiency across different solver configurations. This framework provides a flexible foundation for further extensions to more general discrete domains and offers a promising heuristic to the toolkit for nonlinear discrete optimization.
Open AccessCutting plane methods with gradient-based heuristics
Cutting plane methods, particularly outer approximation, are a well-established approach for solving nonlinear discrete optimization problems without relaxing the integrality of decision variables. While powerful in theory, their computational performance can be highly variable. Recent research has shown that constructing cutting planes at the projection of infeasible points onto the feasible set can significantly improve the performance of cutting plane approaches. Motivated by this, we examine whether constructing cuts at feasible points closer to the optimal solution set could further enhance the effectiveness of cutting plane methods. We propose a hybrid method that combines the global convergence guarantees of cutting plane methods with the local exploration capabilities of first-order optimization techniques. Specifically, we use projected gradient methods as a heuristic to identify promising regions of the solution space and generate tighter, more informative cuts. We focus on binary optimization problems with convex differentiable objective functions, where projection operations can be efficiently computed via mixed-integer linear programming. By constructing cuts at points closer to the optimal solution set and eliminating non-optimal regions, the algorithm achieves better approximation of the feasible region and faster convergence. Numerical experiments confirm that our approach improves both the quality of the solution and computational efficiency across different solver configurations. This framework provides a flexible foundation for further extensions to more general discrete domains and offers a promising heuristic to the toolkit for nonlinear discrete optimization.
- 1 November 2025
- Published by Institute for Operations Research and the Management Sciences (INFORMS) in Operations Research
- Vol. 73 (6) , 3311-3332
Coordinate Partitioning for Difficult Euclidean Max-Sum Diversity Problems
Divide and Conquer: Solving the Euclidean Diversity Problem Through Coordinate Partitioning A common technique for solving difficult optimization problems is to break them into easier-to-manage pieces, yet it is rarely obvious how to do so. This is especially true for the Euclidean max-sum diversity problem, which becomes increasingly difficult as the number of coordinates grows despite the problem size remaining the same. In “Coordinate Partitioning for Difficult Euclidean Max-Sum Diversity Problems,” Spiers, Bui, and Loxton use an old result by Schoenberg to transform Euclidean distances into their squared counterparts, enabling a functional decomposition of the problem’s objective. The authors introduce novel partitioning strategies as well as a globally convergent cutting-plane algorithm, which can effectively solve high-dimension instances. They also present a new class of challenging instances characterized by locations on the surface of a hyperball.
- 1 November 2025
- Published by Institute for Operations Research and the Management Sciences (INFORMS) in Operations Research
- Vol. 73 (6) , 3311-3332
Coordinate Partitioning for Difficult Euclidean Max-Sum Diversity Problems
Divide and Conquer: Solving the Euclidean Diversity Problem Through Coordinate Partitioning A common technique for solving difficult optimization problems is to break them into easier-to-manage pieces, yet it is rarely obvious how to do so. This is especially true for the Euclidean max-sum diversity problem, which becomes increasingly difficult as the number of coordinates grows despite the problem size remaining the same. In “Coordinate Partitioning for Difficult Euclidean Max-Sum Diversity Problems,” Spiers, Bui, and Loxton use an old result by Schoenberg to transform Euclidean distances into their squared counterparts, enabling a functional decomposition of the problem’s objective. The authors introduce novel partitioning strategies as well as a globally convergent cutting-plane algorithm, which can effectively solve high-dimension instances. They also present a new class of challenging instances characterized by locations on the surface of a hyperball.
- 19 June 2025
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Optimization
- Vol. 35 (2) , 1364-1392
On Cutting Plane Algorithms for Nonlinear Binary Optimization
The cutting plane method is known to converge for concave discrete maximization problems. This paper introduces a new condition for convergence that is weaker than concavity, allowing for extensions to generalized concave cases such as quasiconcavity and pseudoconcavity. More significantly, the new convergence condition enables the use of smaller penalty values in the standard concave reformulation technique for general nonconcave problems, yielding stronger cuts and faster convergence. In concave cases, this condition can even be applied to “deconcavify” concave problems to enhance convergence speed. Numerical results show that exploiting the new convergence condition can yield substantial computational improvements for complex, large-scale discrete optimization problems with up to one thousand variables.
- 19 June 2025
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Optimization
- Vol. 35 (2) , 1364-1392
On Cutting Plane Algorithms for Nonlinear Binary Optimization
The cutting plane method is known to converge for concave discrete maximization problems. This paper introduces a new condition for convergence that is weaker than concavity, allowing for extensions to generalized concave cases such as quasiconcavity and pseudoconcavity. More significantly, the new convergence condition enables the use of smaller penalty values in the standard concave reformulation technique for general nonconcave problems, yielding stronger cuts and faster convergence. In concave cases, this condition can even be applied to “deconcavify” concave problems to enhance convergence speed. Numerical results show that exploiting the new convergence condition can yield substantial computational improvements for complex, large-scale discrete optimization problems with up to one thousand variables.
- Open Access
- 10 May 2025
- Published by Elsevier in Computers & Operations Research
- Vol. 182
SDP-based Benders decomposition for solving -median quadratic facility location problems- 10 May 2025
- Published by Elsevier in Computers & Operations Research
- Vol. 182
Open AccessSDP-based Benders decomposition for solving -median quadratic facility location problems - Open Access
- 13 August 2024
- Published by Elsevier in European Journal of Operational Research
- Vol. 320 (1) , 35-56
Bilinear branch and check for unspecified parallel machine scheduling with shift consideration
- 13 August 2024
- Published by Elsevier in European Journal of Operational Research
- Vol. 320 (1) , 35-56
Open AccessBilinear branch and check for unspecified parallel machine scheduling with shift consideration
- Open Access
- 6 May 2024
- Published by Elsevier in Computers & Operations Research
- Vol. 168
Solving Euclidean Max-Sum problems exactly with cutting planes
- 6 May 2024
- Published by Elsevier in Computers & Operations Research
- Vol. 168
Open AccessSolving Euclidean Max-Sum problems exactly with cutting planes
- 3 May 2024
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Optimization
- Vol. 34 (2) , 1646-1678
Single-Projection Procedure for Infinite Dimensional Convex Optimization Problems
We consider a class of convex optimization problems in a Hilbert space that can be solved by performing a single projection, i.e., by projecting an infeasible point onto the feasible set. Our results improve those established for the linear programming setting in Nurminski (2015) by considering problems that (i) may have multiple solutions, (ii) do not satisfy strict complementarity conditions, and (iii) possess nonlinear convex constraints. As a by-product of our analysis, we provide a quantitative estimate on the required distance between the infeasible point and the feasible set in order for its projection to be a solution of the problem. Our analysis relies on a “sharpness” property of the constraint set, a new property we introduce here.
- 3 May 2024
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Optimization
- Vol. 34 (2) , 1646-1678
Single-Projection Procedure for Infinite Dimensional Convex Optimization Problems
We consider a class of convex optimization problems in a Hilbert space that can be solved by performing a single projection, i.e., by projecting an infeasible point onto the feasible set. Our results improve those established for the linear programming setting in Nurminski (2015) by considering problems that (i) may have multiple solutions, (ii) do not satisfy strict complementarity conditions, and (iii) possess nonlinear convex constraints. As a by-product of our analysis, we provide a quantitative estimate on the required distance between the infeasible point and the feasible set in order for its projection to be a solution of the problem. Our analysis relies on a “sharpness” property of the constraint set, a new property we introduce here.
- Open Access
Single-Projection Procedure for Infinite Dimensional Convex Optimization Problems
In this work, we consider a class of convex optimization problems in a real Hilbert space that can be solved by performing a single projection, i.e., by projecting an infeasible point onto the feasible set. Our results improve those established for the linear programming setting in Nurminski (2015) by considering problems that: (i) may have multiple solutions, (ii) do not satisfy strict complementary conditions, and (iii) possess non-linear convex constraints. As a by-product of our analysis, we provide a quantitative estimate on the required distance between the infeasible point and the feasible set in order for its projection to be a solution of the problem. Our analysis relies on a "sharpness" property of the constraint set; a new property we introduce here.
Open AccessSingle-Projection Procedure for Infinite Dimensional Convex Optimization Problems
In this work, we consider a class of convex optimization problems in a real Hilbert space that can be solved by performing a single projection, i.e., by projecting an infeasible point onto the feasible set. Our results improve those established for the linear programming setting in Nurminski (2015) by considering problems that: (i) may have multiple solutions, (ii) do not satisfy strict complementary conditions, and (iii) possess non-linear convex constraints. As a by-product of our analysis, we provide a quantitative estimate on the required distance between the infeasible point and the feasible set in order for its projection to be a solution of the problem. Our analysis relies on a "sharpness" property of the constraint set; a new property we introduce here.
- Open Access
- 16 November 2023
- Published by Springer Nature in Optimization and Engineering
- Vol. 25 (4) , 1817-1848
Long-term maintenance optimization for integrated mining operations
Maintenance activities are inevitable and costly in integrated mining operations. Conducting maintenance may require the whole system, or sub-units of the system, to be shut down temporarily. These maintenance activities not only disrupt the unit being shut down, but they also have consequences for inventory levels and product flow downstream. In this paper, we consider an interconnected mining system in which there are complicated maintenance relationships and stock accumulation at intermediate nodes. We propose a time-indexed mixed-integer linear programming formulation to optimize the long-term integrated maintenance plan and maximize the total throughput. We also devise an algorithm, which combines Benders decomposition and Lagrangian relaxation, to accelerate the computational speed. To validate our mathematical model, we perform simulations for a real-world case study in the iron ore industry. The results show that our method can yield better solutions than optimization solver alone in faster time.
- 16 November 2023
- Published by Springer Nature in Optimization and Engineering
- Vol. 25 (4) , 1817-1848
Open AccessLong-term maintenance optimization for integrated mining operations
Maintenance activities are inevitable and costly in integrated mining operations. Conducting maintenance may require the whole system, or sub-units of the system, to be shut down temporarily. These maintenance activities not only disrupt the unit being shut down, but they also have consequences for inventory levels and product flow downstream. In this paper, we consider an interconnected mining system in which there are complicated maintenance relationships and stock accumulation at intermediate nodes. We propose a time-indexed mixed-integer linear programming formulation to optimize the long-term integrated maintenance plan and maximize the total throughput. We also devise an algorithm, which combines Benders decomposition and Lagrangian relaxation, to accelerate the computational speed. To validate our mathematical model, we perform simulations for a real-world case study in the iron ore industry. The results show that our method can yield better solutions than optimization solver alone in faster time.