A new hybrid solution to boost SAT solver performance.

Lei Fang, Michael S. Hsiao

Browse the full DATE paper archive.