Company Filing History:
2 out of 89 
2 out of 532 
Years Active: 2005-2008
Title: W Mark VanFleet: Innovator in Non-Linear Boolean Equations
Introduction
W Mark VanFleet is a notable inventor based in Glen Burnie, MD (US). He has made significant contributions to the field of computer science, particularly in the area of solving non-linear Boolean equations. With a total of 2 patents, his work has implications for various applications in technology and engineering.
Latest Patents
W Mark VanFleet's latest patents include a method and system for non-linear state-based satisfiability. This computerized method involves solving non-linear Boolean equations by partially solving a Boolean function, developing inferences regarding the function, and saving these inferences to a state machine. The system allows for accessing these inferences to develop heuristics for determining the satisfiability of the Boolean function.
Career Highlights
Throughout his career, W Mark VanFleet has worked with prestigious organizations, including the National Security Agency and the University of Cincinnati. His experience in these institutions has contributed to his expertise in the field of computer science and innovation.
Collaborations
Some of his notable coworkers include John V Franco and John Schlipf. Their collaboration has likely fostered an environment of innovation and creativity in their respective projects.
Conclusion
W Mark VanFleet's contributions to the field of non-linear Boolean equations demonstrate his innovative spirit and dedication to advancing technology. His patents reflect a deep understanding of complex computational problems and their solutions.