Author:
Sun Xiaojun,Ilioaea Irina,Kalla Priyank,Enescu Florian
Publisher
Springer International Publishing
Reference24 articles.
1. de Siqueira, J.L., Puget, J.-F.: Explanation-based generalization of failures. In: Proceedings of European Conference Artificial Intelligence, pp. 339–344 (1988)
2. Jiang, J.-H.R., Lee, C.-C., Mishchenko, A., Huang, C.-Y.: To SAT or Not to SAT: scalable exploration of functional dependency. IEEE Trans. Comp. 59(4), 457–466 (2010)
3. Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5), 752–794 (2003)
4. Marques-Silva, J.: Minimal unsatisfiability: models, algorithms and applications. In: IEEE International Symposium on Multi-Valued Logic, pp. 9–14 (2010)
5. Nadel, A., Ryvchin, V., Strichman, O.: Accelerated deletion-based extraction of minimal unsatisfiable cores. J. Satisfiability Boolean Model. Comput. 9, 27–51 (2014)