Method and system for non-linear state based satisfiability
NSA
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.
Inventors:
Franco, John V.; Vanfleet, Mark W.; Schlipf, John; Dransfield, Michael R.
Patent Number:
Technical domain:
IT and Software
FIle Date:
2005-03-25
Grant Date:
2008-05-27
Grant time:
1,159 days
Grant time percentile rank:
21
Claim count percentile rank:
3
Citations percentile rank:
1
'Cited by' percentile rank:
1
Assignee:
NATIONAL SECURITY AGENCY
