Implementation of Critical Path Heuristics for SAT.

Jinbo Huang

Browse the full ECAI paper archive.