Login / Signup
Bogdan David
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Extended Abstract
Semi Automatic
Sat Solvers
Optimization Problems
Top Venues
SC-Square@FLoC
CoRR
</>
Publications
</>
Bogdan David
,
Madalina Erascu
Benchmarking Optimization Solvers and Symmetry Breakers for the Automated Deployment of Component-based Applications in the Cloud (EXTENDED ABSTRACT).
CoRR
(2023)
Bogdan David
,
Madalina Erascu
Automatic Deployment of Component-based Applications in the Cloud (short paper).
SC-Square@FLoC
(2022)