Patent 7885907 was granted and assigned to AiLive on February, 2011 by the United States Patent and Trademark Office.
Methods and systems capable of creating a component for determining which subset of a set of logical expressions are true with relatively few evaluations of the primitives that, together with any standard logical connectives, make up the logical expressions.