31 search results - page 7 / 7 » An Integrated Approach for Combining BDD and SAT Provers |
TABLEAUX
2009
Springer
14 years 8 days ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...