Company Filing History:
3 out of 89 
2 out of 532 
Years Active: 2001-2008
Title: **Michael R. Dransfield: Innovator in Non-linear Boolean Equations**
Introduction
Michael R. Dransfield is an accomplished inventor based in Ellicott City, MD, whose work has led to the development of three patents. His contributions in the field of computer science, particularly focusing on non-linear Boolean equations, showcase his innovative approach and problem-solving skills.
Latest Patents
Dransfield's latest patents include a groundbreaking method and system for non-linear state-based satisfiability. This computerized method and system aim to solve non-linear Boolean equations by partially resolving a Boolean function, making inferences regarding that function, and saving these inferences to a state machine. The system allows for accessing these inferences to develop heuristics for determining the satisfiability of Boolean functions. The repetitive nature of the patent emphasizes the importance of this method in various computational applications.
Career Highlights
Throughout his career, Dransfield has held significant positions that have contributed to his expertise in the field. Notably, he worked with the National Security Agency, where he played a role in advancing technological solutions critical to national security. Additionally, his tenure at the University of Cincinnati further highlights his commitment to research and development in innovation.
Collaborations
In his professional journey, Michael R. Dransfield has collaborated with esteemed colleagues, including John V. Franco and W. Mark VanFleet. These partnerships in research and development have allowed for the exploration of new ideas and advancements in technology, contributing to the successful outcomes of their projects.
Conclusion
Michael R. Dransfield’s contributions to the field of computer science through his innovative patents reflect his dedication and ingenuity. His work in non-linear Boolean equations not only underscores his significance as an inventor but also continues to influence developments in computational methods and technologies.