2008 |
6 | | Knot Pipatsrisawat,
Adnan Darwiche:
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs.
AAAI 2008: 1481-1484 |
5 | | Knot Pipatsrisawat,
Adnan Darwiche:
New Compilation Languages Based on Structured Decomposability.
AAAI 2008: 517-522 |
4 | EE | Arthur Choi,
Noah Zaitlen,
Buhm Han,
Knot Pipatsrisawat,
Adnan Darwiche,
Eleazar Eskin:
Efficient Genome Wide Tagging by Reduction to SAT.
WABI 2008: 135-147 |
3 | 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 |
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 |