The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover.

Sa'ed Abed, Otmane At Mohamed, Ghiath Al Sammane

Browse the full FDL paper archive.