Sciweavers

DATE
2007
IEEE

Maximum circuit activity estimation using pseudo-boolean satisfiability

13 years 10 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)