Hierarchical Diagnosis of Multiple Faults. - Sajjad Ahmed Siddiqi; Jinbo Huang (IJCAI, 2007)

Probabilistic Sequential Diagnosis by Compilation. - Sajjad Ahmed Siddiqi; Jinbo Huang (ISAIM, 2008)

Variable and Value Ordering for MPE Search. - Sajjad Ahmed Siddiqi; Jinbo Huang (IJCAI, 2009)

New Advances in Sequential Diagnosis. - Sajjad Ahmed Siddiqi; Jinbo Huang (KR, 2010)

Computing Minimum-Cardinality Diagnoses by Model Relaxation. - Sajjad Ahmed Siddiqi (IJCAI, 2011)

Sequential Diagnosis by Abstraction. - Sajjad Ahmed Siddiqi; Jinbo Huang (J. Artif. Intell. Res., 2011)

An extensible circuit-based SAT solver. - Sajjad Ahmed Siddiqi (J. Exp. Theor. Artif. Intell., 2020)

A novel structure-exploiting encoding for SAT-based diagnosis. - Sajjad Ahmed Siddiqi (J. Exp. Theor. Artif. Intell., 2024)