Edward Zulkoski

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 6

Top Topics

Computer Algebra

Propositional Satisfiability

Top Venues

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
The Effect of Structural Measures and Merges on SAT Solver Performance. CP (2018)
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
Learning-Sensitive Backdoors with Restarts. CP (2018)
Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. J. Autom. Reason. 58 (3) (2017)
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh
Relating Complexity-theoretic Parameters with SAT Solver Performance. CoRR (2017)
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. IJCAI (2016)
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. CADE (2015)
Jianmei Guo, Edward Zulkoski, Rafael Olaechea, Derek Rayside, Krzysztof Czarnecki, Sven Apel, Joanne M. Atlee
Scaling exact multi-objective combinatorial optimization by parallelization. ASE (2014)