Sciweavers

AI
2000
Springer

On the complexity of choosing the branching literal in DPLL

13 years 2 months ago
On the complexity of choosing the branching literal in DPLL
Paolo Liberatore
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2000
Where AI
Authors Paolo Liberatore
Comments (0)