Search the dblp DataBase

Publications of Author

1. Knot Pipatsrisawat, Adnan Darwiche
   A Lightweight Component Caching Scheme for Satisfiability Solvers. [Citation Graph (0, 0)][DBLP]
   SAT, 2007, pp:294-299 [Conf]
   
2. 
   A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. [Citation Graph (, )][DBLP]
   
   
3. 
   New Compilation Languages Based on Structured Decomposability. [Citation Graph (, )][DBLP]
   
   
4. 
   Clone: Solving Weighted Max-SAT in a Reduced Search Space. [Citation Graph (, )][DBLP]
   
   
5. 
   On the Power of Clause-Learning SAT Solvers with Restarts. [Citation Graph (, )][DBLP]
   
   
6. 
   Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. [Citation Graph (, )][DBLP]
   
   
7. 
   On Decomposability and Interaction Functions. [Citation Graph (, )][DBLP]
   
   
8. 
   A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT. [Citation Graph (, )][DBLP]
   
   
9. 
   Width-Based Restart Policies for Clause-Learning Satisfiability Solvers. [Citation Graph (, )][DBLP]
   
   
10. 
    Efficient Genome Wide Tagging by Reduction to SAT. [Citation Graph (, )][DBLP]
    
    
11. 
    Optimal algorithms for haplotype assembly from whole-genome sequence data. [Citation Graph (, )][DBLP]