Sciweavers

IJCAI
2003

A Structure-Based Variable Ordering Heuristic for SAT

14 years 1 months ago
A Structure-Based Variable Ordering Heuristic for SAT
Jinbo Huang, Adnan Darwiche
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where IJCAI
Authors Jinbo Huang, Adnan Darwiche
Comments (0)