On Sat, 8 Oct 2016, Nils Bruin wrote:
What are all of the drawbacks?The ones I am aware of:
Also random testing for a hypotheses is hard. I can generate infinitely many random graphs in a loop and try to found a counterexample, but the same does not apply to posets.
-- Jori Mäntysalo
