Pipatsrisawat, Knot

3 publications

IJCAI 2009 A New D-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT Knot Pipatsrisawat, Adnan Darwiche

AAAI 2008 A New Clause Learning Scheme for Efficient Unsatisfiability Proofs Knot Pipatsrisawat, Adnan Darwiche

AAAI 2008 New Compilation Languages Based on Structured Decomposability Knot Pipatsrisawat, Adnan Darwiche