. Biere, Symbolic Model Checking without BDDs, Proceedings of 5th International Conference, TACAS'99, pp.193-207, 1999.
DOI : 10.1007/3-540-49059-0_14

]. R. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043

. Burch, Symbolic model checking for sequential circuit verification, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.13, issue.4, pp.401-424, 1994.
DOI : 10.1109/43.275352

. Cimatti, Formal verification of diagnosability with via symbolic model-checking, Proceedings of the 18th International Joint Conference on Artificial Intelligence, pp.363-369, 2003.

. Jiang, A polynomial algorithm for testing diagnosability of discrete-event systems, Proceedings of the 13th National Conference on Artificial Intelligence and the 8th Innovative Applications of Artificial Intelligence Conference, pp.1318-1321, 1996.
DOI : 10.1109/9.940942

L. Kenneth and . Mcmillan, Interpolation and SAT-based model checking, Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003), number 2725 in Lecture Notes in Computer Science, pp.1-13, 2003.

. Rintanen, Jussi Rintanen, Keijo Heljanko, and Ilkka Niemelä Planning as satisfiability: parallel plans and algorithms for plan search, Artificial Intelligence, vol.170, pp.12-131031, 2006.

]. Ryansampath, Diagnosers and diagnosability of succinct transition systems Efficient algorithms for clause-learning SAT solvers Diagnosability of discrete-event systems, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp.401555-1575, 1995.

K. Selman, H. Selman, and . Kautz, Knowledge compilation and theory approximation, Journal of the ACM, vol.43, issue.2, pp.193-224, 1996.
DOI : 10.1145/226643.226644

. Sheeran, Checking Safety Properties Using Induction and a SAT-Solver, Formal Methods in Computer-Aided Design, Third International Conference Proceedings, volume 1954 of Lecture Notes in Computer Science, pp.108-125, 2000.
DOI : 10.1007/3-540-40922-X_8