Concepedia

Noah Bayless

NB

Statistics

Publications

1

Citations

36

H-Index

1

Active since

2015

Affiliations

University of British Columbia(Current)

Noah Bayless is an author at University of British Columbia specializing in computational complexity, formal methods, and mathematical programming.

Top concepts

Publications per year

2015–2015

1

Publications

1

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

1–1 of 1