| 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 | 62 | 2015 |
| 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 | 53 | 2014 |
| 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 | 42 | 2017 |
| 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 | 30 | 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 | 18 | 2015 |
| 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 | 15 | 2018 |
| Fundamentals of Smart Contract Security R Ma, J Gorzny, E Zulkoski, K Bak, OV Mack Momentum Press, 2019 | 11 | 2019 |
| 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 | 8 | 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 | 5 | 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 | 5 | 2016 |
| 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 | 5 | 2014 |
| Understanding and enhancing cdcl-based sat solvers E Zulkoski University of Waterloo, 2018 | 1 | 2018 |
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerified email at gatech.edu
