Sciweavers

DATE
2007
IEEE

Maximum circuit activity estimation using pseudo-boolean satisfiability

14 years 6 months ago
Maximum circuit activity estimation using pseudo-boolean satisfiability
Hratch Mangassarian, Andreas G. Veneris, Sean Safa
Added 02 Jun 2010
Updated 02 Jun 2010
Type Conference
Year 2007
Where DATE
Authors Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Farid N. Najm, Magdy S. Abadir
Comments (0)