Sajjad Ahmed Siddiqi

According to our database, Sajjad Ahmed Siddiqi authored at least 8 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A novel structure-exploiting encoding for SAT-based diagnosis.

Sajjad Ahmed Siddiqi

J. Exp. Theor. Artif. Intell., August, 2024

2020

An extensible circuit-based SAT solver.

Sajjad Ahmed Siddiqi

J. Exp. Theor. Artif. Intell., 2020

2011

Sequential Diagnosis by Abstraction.

Sajjad Ahmed Siddiqi, Jinbo Huang

J. Artif. Intell. Res., 2011

Computing Minimum-Cardinality Diagnoses by Model Relaxation.

Sajjad Ahmed Siddiqi

Proceedings of the IJCAI 2011, 2011

2010

New Advances in Sequential Diagnosis.

Sajjad Ahmed Siddiqi, Jinbo Huang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009

Variable and Value Ordering for MPE Search.

Sajjad Ahmed Siddiqi, Jinbo Huang

Proceedings of the IJCAI 2009, 2009

2008

Probabilistic Sequential Diagnosis by Compilation.

Sajjad Ahmed Siddiqi, Jinbo Huang

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

2007

Hierarchical Diagnosis of Multiple Faults.

Sajjad Ahmed Siddiqi, Jinbo Huang

Proceedings of the IJCAI 2007, 2007