Hi Axel, Axel Polleres <axel.polleres@deri.org> wrote on 16/06/2009 15:39:41: > > blowup for naive normal form DNF transformation is potentially > exponential in the formula size... which makes me a bit nerveous, if the > definition contains such a potentially expensive operation. Thus... Hmmm... But why would the rule be actually put in DNF? We consider only DNF condition formula, because it makes the definition concise and easy to understand, and because we know that any condition formula can be put in DNF, in principle. But this is about defining the concept; it is not about specifying how to implement it efficiently. Christian ILOG, an IBM Company 9 rue de Verdun 94253 - Gentilly cedex - FRANCE Tel. +33 1 49 08 35 00 Fax +33 1 49 08 35 10 Sauf indication contraire ci-dessus:/ Unless stated otherwise above: Compagnie IBM France Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 Courbevoie RCS Nanterre 552 118 465 Forme Sociale : S.A.S. Capital Social : 609.751.783,30 ? SIREN/SIRET : 552 118 465 02430
Received on Wednesday, 17 June 2009 08:16:27 UTC