Projection Heuristics for Binary Branchings Between Sum and Product.

Oliver Kullmann, Oleg Zaikin

Browse the full SAT paper archive.