Patents by Inventor Bruce Riggins

Bruce Riggins has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • System and method for rapid management of logic formulas
    Patent number: 9026410
    Abstract: A method for simplifying a complex well-formed formula (WFF) may include receiving, in a formula processor, an input WFF and converting the input WFF into an initial bit array. The method may further include simplifying the initial bit array into a simplified bit array by removing predicates from the initial bit array not necessary to represent the input WFF. The method may include converting the simplified bit array into a return WFF in either a conjunctive normal form or a disjunctive normal form.
    Type: Grant
    Filed: March 16, 2012
    Date of Patent: May 5, 2015
    Assignee: The Boeing Company
    Inventors: Kenneth W. Fertig, Sudhakar Y. Reddy, Bruce Riggins
  • SYSTEM AND METHOD FOR RAPID MANAGEMENT OF LOGIC FORMULAS
    Publication number: 20130246016
    Abstract: A method for simplifying a complex well-formed formula (WFF) may include receiving, in a formula processor, an input WFF and converting the input WFF into an initial bit array. The method may further include simplifying the initial bit array into a simplified bit array by removing predicates from the initial bit array not necessary to represent the input WFF. The method may include converting the simplified bit array into a return WFF in either a conjunctive normal form or a disjunctive normal form.
    Type: Application
    Filed: March 16, 2012
    Publication date: September 19, 2013
    Applicant: THE BOEING COMPANY
    Inventors: Kenneth W. Fertig, Sudhakar Y. Reddy, Bruce Riggins