
## References

Amir, E., & McIlraith, S. (2000).  Partition-based logical reasoning.  In  Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'00), pp. 389-400.

Biere, A., Cimatti, A., Clarke, E. M., Fujita, M., & Zhu, Y. (1999).  Symbolic model checking using SAT procedures instead of BDDs. In Proceedings of Design Automation Conference (DAC'99).

Boppana, R. B., & Sipser, M. (1990). The complexity of finite functions. In van Leeuwen, J.

(Ed.), Handbook of Theoretical Computer Science, Vol. A, chap. 14. Elsevier Science Publishers (North-Holland), Amsterdam.

Boutilier, C. (1994). Toward a logic for qualitative decision theory. In Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR'94), pp. 75-86.

Chopra, S., & Parikh, R. (1999). An inconsistency tolerant model for belief representation and belief revision. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), pp. 192-197.

Darwiche, A. (1997). A logical notion of conditional independence: properties and applications. Artificial Intelligence, 97 (1–2), 45–82.

Darwiche, A. (1998). Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research, 8, 165-222.

Darwiche, A. (1999). Compiling knowledge into decomposable negation normal form. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
(IJCAI'99), pp. 284–289.

Darwiche, A., & Marquis, P. (1999). A perspective on knowledge compilation. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence
(IJCAI'01), pp. 175-182.

Davis, M., & Putnam, H. (1960). A computing procedure for quantification theory. Journal of the ACM, 7, 201–215.

Dechter, R., & Rish, I. (1994). Directional resolution; the davis-putnam procedure, revisited.

In Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR'94), pp. 134–145.

del Val, A. (1999). A new method for consequence finding and compilation in restricted language. In Proceedings of the Sixteenth National Conference on Artificial Intelligence
(AAAI'99), pp. 259-264, Orlando (FL).

Doherty, P., Lukaszewicz, W., & Madalinska-Bugaj, E. (1998). The PMA and relativizing change for action update. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pp. 258–269.

Doherty, P., Lukaszewicz, W., & Szalas, A. (2001). Computing strongest necessary and weakest sufficient conditions of first-order formulas. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01), pp. 145–151.