Sciweavers

ALENEX
2009
115views Algorithms» more  ALENEX 2009»
14 years 1 months ago
Experimental comparison of the two Fredman-Khachiyan-algorithms
We experimentally compare the two algorithms A and B by Fredman and Khachiyan [FK96] for the problem Monet--given two monotone Boolean formulas in DNF and in CNF, decide whether ...
Matthias Hagen, Peter Horatschek, Martin Mundhenk