Sign in
Syed M. Iqbal
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 4
Top Topics
Bandwidth Requirements
Sat Solving
Propositional Satisfiability
Stochastic Local Search Algorithms
Top Venues
CoRR
Artif. Intell.
SoCC
</>
Publications
</>
Nick Feng
,
Alan J. Hu
,
Sam Bayless
,
Syed M. Iqbal
,
Patrick Trentin
,
Mike Whalen
,
Lee Pike
,
John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
CoRR
(2024)
Nodir Kodirov
,
Shane Bergsma
,
Syed M. Iqbal
,
Alan J. Hu
,
Ivan Beschastnikh
,
Margo I. Seltzer
Gridiron: A Technique for Augmenting Cloud Workloads with Network Bandwidth Requirements.
CoRR
(2022)
Syed M. Iqbal
,
Haley Li
,
Shane Bergsma
,
Ivan Beschastnikh
,
Alan J. Hu
CoSpot: a cooperative VM allocation framework for increased revenue from spot instances.
SoCC
(2022)
Sam Bayless
,
Nodir Kodirov
,
Syed M. Iqbal
,
Ivan Beschastnikh
,
Holger H. Hoos
,
Alan J. Hu
Scalable constraint-based virtual data center allocation.
Artif. Intell.
278 (2020)