1981 search results - page 23 / 397 » Model-Checking Hierarchical Structures |
193
click to vote
FCS
2006
15 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...
217
Voted
COSIT
1997
Springer
15 years 12 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...
207
Voted
FSTTCS
2005
Springer
16 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...