Solving Non-clausal Formulas with DPLL Search. Thiffault, C., Bacchus, F., & Walsh, T. In Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004), pages 663-678, 2004.
Solving Non-clausal Formulas with DPLL Search [pdf]Paper  Solving Non-clausal Formulas with DPLL Search [link]Link  bibtex   

Downloads: 0