Author:
Čepek Ondřej,Kučera Petr,Vlček Václav
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Aspvall, B.: Recognizing disguised nr(1) instances of the satisfiability problem. Journal of Algorithms 1(1), 97–103 (1980)
2. Buning, H.K., Letterman, T.: Propositional Logic: Deduction and Algorithms. Cambridge University Press, New York (1999)
3. Čepek, O., Kučera, P.: Various notes on SLUR formulae. In: Proceedings of the 13th Czech-Japan Seminar on Data Analysis and Decision Making in Service Science, Otaru, Japan, pp. 85–95 (2010)
4. Chandru, V., Hooker, J.N.: Extended horn sets in propositional logic. J. ACM 38(1), 205–221 (1991)
5. Conforti, M., Cornuéjols, G., Vuskovic, K.: Balanced matrices. Discrete Mathematics 306(19-20), 2411–2437 (2006)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献