Extending Unit Propagation Look-Ahead of DPLL Procedure.

Anbulagan

Browse the full PRICAI paper archive.