Edward Zulkoski
Orcid: 0000-0003-1816-1614
According to our database1,
Edward Zulkoski
authored at least 9 papers
between 2014 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
2017
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.
J. Autom. Reason., 2017
2015
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
Proceedings of the Hardware and Software: Verification and Testing, 2015
MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014