Concepedia

Sam Bayless

SB

Statistics

Publications

5

Citations

116

H-Index

5

Active since

2013

Affiliations

University of British Columbia(Current)

Sam Bayless is an author at University of British Columbia specializing in computer science, engineering, and computer engineering.

ORCID

Top concepts

Publications per year

2013–2019

5

Publications

5

SAT Modulo Monotonic Theories

Sam Bayless, Noah Bayless, Holger H. Hoos et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 36 citations · Full text

, , +14

SAT modulo monotonic theories

Sam Bayless · Open Collections · 2017 · 25 citations · Full text

Efficient modular SAT solving for IC3

Sam Bayless, Celina G. Val, Thomas Ball et al. · 2013 · 21 citations

Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond

Celina G. Val, Michael A. Enescu, Sam Bayless et al. · 2016 · 21 citations

, , +26

Scalable constraint-based virtual data center allocation

Sam Bayless, Nodir Kodirov, Syed Muhammad Javed Iqbal et al. · Artificial Intelligence · 2019 · 13 citations · Full text

, , +12

1–5 of 5