The Effect of Structural Measures and Merges on SAT Solver Performance.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh

Browse the full CP paper archive.