1981 search results - page 23 / 397 » Model-Checking Hierarchical Structures |
FCS
2006
13 years 9 months ago
2006
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...
KDD
2002
ACM
14 years 8 months ago
2002
ACM
COSIT
1997
Springer
13 years 11 months ago
1997
Springer
This paper gives a definition of Hierarchical Spatial Reasoning, which computes increasingly better results in a hierarchical fashion and stops the computation when a result is ac...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...