| 2008 |
|---|
| 9 | | Ole J. Mengshoel,
Adnan Darwiche,
Keith Cascio,
Mark Chavira,
Scott Poll,
N. Serdar Uckun:
Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft.
AAAI 2008: 1699-1705 |
| 8 | EE | Mark Chavira,
Adnan Darwiche:
On probabilistic inference by weighted model counting.
Artif. Intell. 172(6-7): 772-799 (2008) |
| 7 | EE | Knot Pipatsrisawat,
Akop Palyan,
Mark Chavira,
Arthur Choi,
Adnan Darwiche:
Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis.
JSAT 4(2-4): 191-217 (2008) |
| 2007 |
|---|
| 6 | EE | Mark Chavira,
Adnan Darwiche:
Compiling Bayesian Networks Using Variable Elimination.
IJCAI 2007: 2443-2449 |
| 2006 |
|---|
| 5 | | Jinbo Huang,
Mark Chavira,
Adnan Darwiche:
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.
AAAI 2006 |
| 4 | EE | Mark Chavira,
Adnan Darwiche:
Encoding CNFs to Empower Component Analysis.
SAT 2006: 61-74 |
| 3 | EE | Mark Chavira,
Adnan Darwiche,
Manfred Jaeger:
Compiling relational Bayesian networks for exact inference.
Int. J. Approx. Reasoning 42(1-2): 4-20 (2006) |
| 2005 |
|---|
| 2 | EE | Mark Chavira,
Adnan Darwiche:
Compiling Bayesian Networks with Local Structure.
IJCAI 2005: 1306-1312 |
| 1 | EE | Mark Chavira,
David Allen,
Adnan Darwiche:
Exploiting Evidence in Probabilistic Inference.
UAI 2005: 112-127 |
