Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Apt, K.R., Monfroy, E.: Constraint programming viewed as rule-based programming. Theory and Practice of Logic Programming 1(6), 713–750 (2001)
2. Balduccini, M., Gelfond, M., Nogueira, M.: Answer set based design of knowledge systems. Annals of Mathematics and Artificial Intelligence 47(1-2), 183–219 (2006)
3. Brewka, G.: Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence 50, 183–205 (1991)
4. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K.A. (eds.) Proc. of the Fifth Int. Conf. and Symp. on Logic Programming, pp. 1070–1080. The MIT Press, Seattle (1988)
5. Hyojung, H., Somenzi, F., Hoonsang, J.: Making deduction more effective in SAT solvers. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 29(8), 1271–1284 (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Introduction;Lecture Notes in Electrical Engineering;2020-11-08