# Edward Zulkoski

According to our database

Collaborative distances:

^{1}, Edward Zulkoski authored at least 9 papers between 2014 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis 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. Reasoning, 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