Edward Zulkoski
Edward Zulkoski
Verified email at gsd.uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
Scaling exact multi-objective combinatorial optimization by parallelization
J Guo, E Zulkoski, R Olaechea, D Rayside, K Czarnecki, S Apel, JM Atlee
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
472014
Understanding VSIDS branching heuristics in conflict-driven clause-learning SAT solvers
JH Liang, V Ganesh, E Zulkoski, A Zaman, K Czarnecki
Haifa Verification Conference, 225-241, 2015
412015
Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
E Zulkoski, C Bright, A Heinle, I Kotsireas, K Czarnecki, V Ganesh
Journal of Automated Reasoning 58 (3), 313-339, 2017
272017
MathCheck: A math assistant via a combination of computer algebra systems and SAT solvers
E Zulkoski, V Ganesh, K Czarnecki
International Conference on Automated Deduction, 607-622, 2015
192015
Automated decomposition and allocation of automotive safety integrity levels using exact solvers
A Murashkin, LS Azevedo, J Guo, E Zulkoski, JH Liang, K Czarnecki, ...
SAE International Journal of Passenger Cars-Electronic and Electrical …, 2015
162015
The effect of structural measures and merges on SAT solver performance
E Zulkoski, R Martins, CM Wintersteiger, JH Liang, K Czarnecki, ...
International Conference on Principles and Practice of Constraint …, 2018
62018
Optimizing alloy for multi-objective software product line configuration
E Zulkoski, C Kleynhans, MH Yee, D Rayside, K Czarnecki
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
62014
Relating complexity-theoretic parameters with sat solver performance
E Zulkoski, R Martins, C Wintersteiger, R Robere, J Liang, K Czarnecki, ...
arXiv preprint arXiv:1706.08611, 2017
32017
MATHCHECK: A math assistant via a combination of computer algebra systems and SAT solvers
E Zulkoski, V Ganesh, K Czarnecki
Proceedings of the Twenty-Fifth International Joint Conference on Artificial …, 2016
32016
Fundamentals of Smart Contract Security
R Ma, J Gorzny, E Zulkoski, K Bak, OV Mack
Momentum Press, 2019
22019
Learning-Sensitive Backdoors with Restarts
E Zulkoski, R Martins, CM Wintersteiger, R Robere, JH Liang, K Czarnecki, ...
International Conference on Principles and Practice of Constraint …, 2018
22018
Understanding and Enhancing CDCL-based SAT Solvers
E Zulkoski
University of Waterloo, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–12