David Bernal Neira

Dr. David Bernal Neira

orcid

Research Focus & Metrics

Academic Career Length

9Years (2018-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
3 December 2018 in Optimization and Engineering
Verified
Journal Article
Open access
PDF file
JKJan Kronqvist
Jan Kronqvist
DNDavid Bernal Neira
David Bernal Neira
ALAndreas Lundell
Andreas Lundell
IGIgnacio E. Grossmann
Ignacio E. Grossmann
In this paper, we present a review of deterministic software for solving convex MINLP problems as well as a comprehensive comparison of a large selection of commonly available solvers. As a test set, we have used all MINLP instances classified as convex in the problem library MINLPLib, resulting in a test set of 335 convex MINLP instances. A summary of the most common methods for solving convex MINLP problems is given to better highlight the differences between the solvers. To show how the solvers perform on problems with different properties, we have divided the test set into subsets based on the continuous relaxation gap, the degree of nonlinearity, and the relative number of discrete variables. The results also provide guidelines on how well suited a specific solver or method is for particular types of MINLP problems.

14 August 2024 in ACM Transactions on Quantum Computing
Verified
Journal Article
Open access
TLThomas Lubinski
Thomas Lubinski
CCCarleton Coffrin
Carleton Coffrin
CMCatherine McGeoch
Catherine McGeoch
PSPratik Sathe
Pratik Sathe
JAJoshua Apanavicius
Joshua Apanavicius
QCQuantum Economic Development Consortium(QED-C) Collaboration
Quantum Economic Development Consortium(QED-C) Collaboration
Combinatorial optimization is anticipated to be one of the primary use cases for quantum computation in the coming years. The Quantum Approximate Optimization Algorithm and Quantum Annealing can potentially demonstrate significant run-time performance benefits over current state-of-the-art solutions. Inspired by existing methods to characterize classical optimization algorithms, we analyze the solution quality obtained by solving Max-cut problems using gate-model quantum devices and a quantum annealing device. This is used to guide the development of an advanced benchmarking framework for quantum computers designed to evaluate the trade-off between run-time execution performance and the solution quality for iterative hybrid quantum-classical applications. The framework generates performance profiles through compelling visualizations that show performance progression as a function of time for various problem sizes and illustrates algorithm limitations uncovered by the benchmarking approach. As an illustration, we explore the factors that influence quantum computing system throughput, using results obtained through execution on various quantum simulators and quantum hardware systems.

7 March 2022 in AIChE Journal
Verified
Journal Article
Closed access
DNDavid Bernal Neira
David Bernal Neira
AAAkshay Ajagekar
Akshay Ajagekar
SHStuart M. Harwood
Stuart M. Harwood
SSSpencer T. Stober
Spencer T. Stober
DTDimitar Trenev
Dimitar Trenev
FYFengqi You
Fengqi You

1 July 2020 in Computers & Chemical Engineering
Verified
Journal Article
Open access
HYHaokun Yang
Haokun Yang
DNDavid Bernal Neira
David Bernal Neira
RFRobert E. Franzoi
Robert E. Franzoi
FEFaramroze G. Engineer
Faramroze G. Engineer
KKKysang Kwon
Kysang Kwon
IGIgnacio E. Grossmann
Ignacio E. Grossmann

18 December 2018 in Mathematical Programming
Verified
Journal Article
Closed access
PDF file
JKJan Kronqvist
Jan Kronqvist
DNDavid Bernal Neira
David Bernal Neira
IGIgnacio Grossmann
Ignacio Grossmann

1 January 2018
Verified
Book Chapter
Closed access
DNDavid Bernal Neira
David Bernal Neira
QCQi Chen
Qi Chen
FGFelicity Gong
Felicity Gong
IGIgnacio Grossmann
Ignacio Grossmann