Compiling Bayesian Networks with Local Structure. - Mark Chavira; Adnan Darwiche (IJCAI, 2005)

Exploiting Evidence in Probabilistic Inference. - Mark Chavira; David Allen; Adnan Darwiche (UAI, 2005)

Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. - Jinbo Huang; Mark Chavira; Adnan Darwiche (AAAI, 2006)

Encoding CNFs to Empower Component Analysis. - Mark Chavira; Adnan Darwiche (SAT, 2006)

Compiling relational Bayesian networks for exact inference. - Mark Chavira; Adnan Darwiche; Manfred Jaeger (Int. J. Approx. Reason., 2006)

Compiling Bayesian Networks Using Variable Elimination. - Mark Chavira; Adnan Darwiche (IJCAI, 2007)

Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. - Arthur Choi; Mark Chavira; Adnan Darwiche (UAI, 2007)

Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft. - Ole J. Mengshoel; Adnan Darwiche; Keith Cascio; Mark Chavira; Scott Poll; N. Serdar Uckun (AAAI, 2008)

On probabilistic inference by weighted model counting. - Mark Chavira; Adnan Darwiche (Artif. Intell., 2008)

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. - Knot Pipatsrisawat; Akop Palyan; Mark Chavira; Arthur Choi; Adnan Darwiche (J. Satisf. Boolean Model. Comput., 2008)

Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study. - Ole J. Mengshoel; Mark Chavira; Keith Cascio; Scott Poll; Adnan Darwiche; N. Serdar Uckun (IEEE Trans. Syst. Man Cybern. Part A, 2010)