Follow
Edward Zulkoski
Edward Zulkoski
Verified email at gsd.uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
Understanding VSIDS branching heuristics in conflict-driven clause-learning SAT solvers
JH Liang, V Ganesh, E Zulkoski, A Zaman, K Czarnecki
Hardware and Software: Verification and Testing: 11th International Haifa …, 2015
552015
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
532014
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, 313-339, 2017
342017
MathCheck: A math assistant via a combination of computer algebra systems and SAT solvers
E Zulkoski, V Ganesh, K Czarnecki
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
252015
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
182015
The effect of structural measures and merges on SAT solver performance
E Zulkoski, R Martins, CM Wintersteiger, JH Liang, K Czarnecki, ...
Principles and Practice of Constraint Programming: 24th International …, 2018
142018
Fundamentals of Smart Contract Security
R Ma, J Gorzny, E Zulkoski, K Bak, OV Mack
Momentum Press, 2019
82019
Learning-sensitive backdoors with restarts
E Zulkoski, R Martins, CM Wintersteiger, R Robere, JH Liang, K Czarnecki, ...
Principles and Practice of Constraint Programming: 24th International …, 2018
82018
Optimizing alloy for multi-objective software product line configuration
E Zulkoski, C Kleynhans, MH Yee, D Rayside, K Czarnecki
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 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
52017
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
42016
Understanding and enhancing cdcl-based sat solvers
E Zulkoski
University of Waterloo, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–12