 | 2009 |
|---|
| 9 |       | Arthur Choi,
Trevor Standley,
Adnan Darwiche:
Approximating Weighted Max-SAT Problems by Compensating for Relaxations.
CP 2009: 211-225 |
| 2008 |
|---|
| 8 |  | Arthur Choi,
Adnan Darwiche:
Focusing Generalizations of Belief Propagation on Targeted Queries.
AAAI 2008: 1024-1030 |
| 7 | | Arthur Choi,
Adnan Darwiche:
Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations.
AAAI 2008: 1031-1036 |
| 6 | | Arthur Choi,
Adnan Darwiche:
Approximating the Partition Function by Deleting and then Correcting for Model Edges.
UAI 2008: 79-87 |
| 5 | | Arthur Choi,
Noah Zaitlen,
Buhm Han,
Knot Pipatsrisawat,
Adnan Darwiche,
Eleazar Eskin:
Efficient Genome Wide Tagging by Reduction to SAT.
WABI 2008: 135-147 |
| 4 | | 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) |
| 2006 |
|---|
| 3 | | Arthur Choi,
Adnan Darwiche:
An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality.
AAAI 2006 |
| 2 | | Arthur Choi,
Adnan Darwiche:
A Variational Approach for Approximating Bayesian Networks by Edge Deletion.
UAI 2006 |
| 2005 |
|---|
| 1 | | Adnan Darwiche,
Hei Chan,
Arthur Choi:
On Bayesian Network Approximation by Edge Deletion.
UAI 2005: 128-135 |
