Sciweavers

31 search results - page 7 / 7
» iandc 2010
Sort
View
IANDC
2010
84views more  IANDC 2010»
13 years 3 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
Arie Matsliah, Ofer Strichman