| 2008 | ||
|---|---|---|
| 4 | Knot Pipatsrisawat, Adnan Darwiche: A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. AAAI 2008: 1481-1484 | |
| 3 | Knot Pipatsrisawat, Adnan Darwiche: New Compilation Languages Based on Structured Decomposability. AAAI 2008: 517-522 | |
| 2007 | ||
| 2 | EE | Knot Pipatsrisawat, Adnan Darwiche: Clone: Solving Weighted Max-SAT in a Reduced Search Space. Australian Conference on Artificial Intelligence 2007: 223-233 |
| 1 | EE | Knot Pipatsrisawat, Adnan Darwiche: A Lightweight Component Caching Scheme for Satisfiability Solvers. SAT 2007: 294-299 |
| 1 | Adnan Darwiche | [1] [2] [3] [4] |