C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ed Zulkoski
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 2
Top Topics
Multi Objective Genetic Algorithms
Heuristic Search
Variable Ordering
Product Lines
Top Venues
CoRR
ABZ
Haifa Verification Conference
</>
Publications
</>
Jia Hui Liang
,
Vijay Ganesh
,
Ed Zulkoski
,
Atulan Zaman
,
Krzysztof Czarnecki
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
Haifa Verification Conference
(2015)
Jia Hui (Jimmy) Liang
,
Vijay Ganesh
,
Ed Zulkoski
,
Atulan Zaman
,
Krzysztof Czarnecki
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.
CoRR
(2015)
Ed Zulkoski
,
Chris Kleynhans
,
Ming-Ho Yee
,
Derek Rayside
,
Krzysztof Czarnecki
Optimizing Alloy for Multi-objective Software Product Line Configuration.
ABZ
(2014)