The following publications are possibly variants of this publication:
- Fault diagnosis and logic debugging using Boolean satisfiabilityAlexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas. tcad, 24(10):1606-1621, 2005. [doi]
- Debugging Sequential Circuits Using Boolean SatisfiabilityMoayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Freescale Semiconductor, Rolf Drechsler, Alexander Smith. mtv 2004: 44-49 [doi]
- Debugging sequential circuits using Boolean satisfiabilityMoayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir. iccad 2004: 204-209 [doi]