A method, system and computer program product for performing synthesis of representations is disclosed. The method comprises receiving a representation of a relation and building a gate representing an OR function of one or more selected parent paths into a node of said representation of said relation. A synthesized gate for said gate representing said OR function and synthesis of a set of representations of relations by iterating said building step and said creating step over one or more variables in said representation of said relation is performed to accumulate a synthesized gate set, which synthesized gate set is returned.

Web www.patentalert.com

< Video data packing

< Rapid virus scan using file signature created during file write

> Method for verifying and correcting post-OPC pattern layout

> Generating executable objects implementing methods for an information model

~ 00622