Abstract: A system for information management includes a remotely accessible server configured for receiving a request from a user for a service provided by at least one designated service provider and for receiving a response from the at least one designated service provider; means controlled by the server for providing a first user interface that allows the user to download a preset template, to modify the template with user specific content, and to select the at least one designated service provider with a predetermined set of criteria; means controlled by the server for generating a virtual content module associated with the user that contains the modified template; means controlled by the server for transmitting a first notification message to the at least one designated service provider.

Abstract: A computerized method and system for solving non-linear Boolean equations is disclosed comprising at least partially solving a Boolean function; developing at least one inference regarding said Boolean function and saving said inference to a state machine; and accessing said inference from said state machine to develop at least one heuristic for determining whether said Boolean function is satisfiable.