2 search results - page 1 / 1 » Partitions versus sets: A case of duality |
93
Voted
EJC
2010
15 years 1 months ago
2010
In a recent paper, Amini et al. introduced a general framework to prove duality theorems between tree decompositions and their dual combinatorial object. They unify all known ad-h...
121
Voted
TVLSI
2002
15 years 20 days ago
2002
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...