Sciweavers

TC
2010

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test

13 years 9 months ago
Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test
Hratch Mangassarian, Andreas G. Veneris, Marco Ben
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where TC
Authors Hratch Mangassarian, Andreas G. Veneris, Marco Benedetti
Comments (0)