| |
| 2008 | ||
|---|---|---|
| 1 | 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) |
| 1 | Mark Chavira | [1] |
| 2 | Arthur Choi | [1] |
| 3 | Adnan Darwiche | [1] |
| 4 | Knot Pipatsrisawat | [1] |