Edward Zulkoski

Orcid: 0000-0003-1816-1614

According to our database1, Edward Zulkoski authored at least 9 papers between 2014 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Understanding and Enhancing CDCL-based SAT Solvers.
PhD thesis, 2018

Learning-Sensitive Backdoors with Restarts.
Proceedings of the Principles and Practice of Constraint Programming, 2018

The Effect of Structural Measures and Merges on SAT Solver Performance.
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

Relating Complexity-theoretic Parameters with SAT Solver Performance.
CoRR, 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
Scaling exact multi-objective combinatorial optimization by parallelization.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Optimizing Alloy for Multi-objective Software Product Line Configuration.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014


  Loading...