A Structure-Based Variable Ordering Heuristic for SAT.

Jinbo Huang, Adnan Darwiche

Browse the full IJCAI paper archive.