Author:
Hossen Md Shibbir,Polash Md Masbaul Alam
Publisher
Springer Science and Business Media LLC
Reference49 articles.
1. Michel L, Van Hentenryck P. Localizer constraints. Set. 2000;5(1–2):43–844.
2. Sheeran M, Singh S, Staalmarck G. Checking safety properties using induction and a sat-solver. In: International conference on formal methods in computer-aided design. New York: Springer; 2000. p. 127–44.
3. Smith A, Veneris A, Ali MF, Viglas A. Fault diagnosis and logic debugging using boolean satisfiability. IEEE Trans Computer-Aided Design Integrated Circuits Syst. 2005;24(10):1606–21.
4. Marques-Silva J, Practical applications of boolean satisfiability. In, . 9th international workshop on discrete event systems. IEEE. 2008;2008:74–80.
5. Kautz HA, Selman B et al. Planning as satisfiability. In: ECAI, vol. 92, Citeseer; 1992. p. 359–63.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献