Toward Good Elimination Orders for Symbolic SAT Solving.

Jinbo Huang, Adnan Darwiche

Browse the full ICTAI paper archive.