On the complexity of choosing the branching literal in DPLL
Paolo LiberatoreVolume:
116
Year:
2000
Language:
english
Pages:
12
DOI:
10.1016/s0004-3702(99)00097-1
File:
PDF, 99 KB
english, 2000