Maximum circuit activity estimation using pseudo-boolean satisfiability.

Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Farid N. Najm, Magdy S. Abadir

Browse the full DATE paper archive.