Hi, On Montag, 30. März 2009, Stefano Zacchiroli wrote: > The solution to this and similar problems are always, as pointed out > by specific solutions in this thread by others, to turn your > dependency formula into conjunctive normal form (CNF) [1], which is > always possible, though possibly ugly, as you observed. > > [1] http://en.wikipedia.org/wiki/Conjunctive_normal_form Thanks for this summary, that helped. Thanks to the other answers too, fwiw! regards, Holger
Attachment:
signature.asc
Description: This is a digitally signed message part.