Mangassarian, Veneris, Safarpour, Najm, Abadir, 2007. Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability, in: . IEEE.. https://doi.org/10.1109/date.2007.364519