Bayless, Sam

2 publications

IJCAI 2017 Scalable Constraint-Based Virtual Data Center Allocation Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu

AAAI 2015 SAT Modulo Monotonic Theories Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu