| 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 | 48 | 2014 |
| 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 | 47 | 2015 |
| 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 | 30 | 2017 |
| 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 | 21 | 2015 |
| 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 | 17 | 2015 |
| 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 | 8 | 2018 |
| 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 | 6 | 2014 |
| Fundamentals of Smart Contract Security R Ma, J Gorzny, E Zulkoski, K Bak, OV Mack Momentum Press, 2019 | 5 | 2019 |
| 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 | 4 | 2018 |
| 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 | 4 | 2017 |
| 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 | 4 | 2016 |
| Understanding and Enhancing CDCL-based SAT Solvers E Zulkoski University of Waterloo, 2018 | | 2018 |
Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaE-mail confirmado em uwaterloo.ca
