Sam Bayless
Title
Cited by
Cited by
Year
The configurable SAT solver challenge (CSSC)
F Hutter, M Lindauer, A Balint, S Bayless, H Hoos, K Leyton-Brown
Artificial Intelligence 243, 1-25, 2017
432017
SAT Modulo Monotonic Theories
S Bayless, N Bayless, HH Hoos, AJ Hu
Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15 …, 2015
292015
Efficient modular SAT solving for IC3
S Bayless, CG Val, T Ball, HH Hoos, AJ Hu
2013 Formal Methods in Computer-Aided Design, 149-156, 2013
212013
Precisely measuring quantitative information flow: 10k lines of code and beyond
CG Val, MA Enescu, S Bayless, W Aiello, AJ Hu
2016 IEEE European Symposium on Security and Privacy (EuroS&P), 31-46, 2016
202016
Reachability analysis for AWS-based networks
J Backes, S Bayless, B Cook, C Dodge, A Gacek, AJ Hu, T Kahsai, ...
International Conference on Computer Aided Verification, 231-241, 2019
92019
Fast, flexible, and minimal ctl synthesis via smt
T Klenze, S Bayless, AJ Hu
International Conference on Computer Aided Verification, 136-156, 2016
62016
Scalable Constraint-Based Virtual Data Center Allocation
S Bayless, N Kodirov, I Beschastnikh, HH Hoos, AJ Hu
International Joint Conference on Artificial Intelligence, 2017
52017
Evaluating instance generators by configuration
S Bayless, DAD Tompkins, HH Hoos
International Conference on Learning and Intelligent Optimization, 47-61, 2014
52014
VNF chain allocation and management at data center scale
N Kodirov, S Bayless, F Ruffy, I Beschastnikh, HH Hoos, AJ Hu
Proceedings of the 2018 Symposium on Architectures for Networking and …, 2018
32018
Single-solver algorithms for 2QBF
S Bayless, AJ Hu
International Conference on Theory and Applications of Satisfiability …, 2012
32012
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog
AC Cheng, CC Yen, CG Val, S Bayless, AJ Hu, IHR Jiang, JY Jou
ACM Transactions on Design Automation of Electronic Systems (TODAES) 20 (1 …, 2014
22014
Results of the configurable SAT solver challenge 2014
F Hutter, M Lindauer, S Bayless, H Hoos, K Leyton-Brown
Technical report, University of Freiburg, Department of Computer Science, 2014
22014
SAT modulo monotonic theories
S Bayless
University of British Columbia, 2017
12017
Scalable, high-quality, SAT-based multi-layer escape routing
S Bayless, HH Hoos, AJ Hu
Proceedings of the 35th International Conference on Computer-Aided Design, 1-8, 2016
12016
VNF chain abstraction for cloud service providers
N Kodirov, S Bayless, F Ruffy, I Beschastnikh, HH Hoos, AJ Hu
Proceedings of the 2018 Symposium on Architectures for Networking and …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–15