Author:
Wang Yisong,You Jia-Huai,Lin Fangzhen,Yuan Li Yan,Zhang Mingyi
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference44 articles.
1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, New York (2003)
2. Baselice, S., Bonatti, P.A., Criscuolo, G.: On finitely recursive programs. In: Proceedings of the Twenty Third International Conference on Logic Programming, pp. 89–103, Porto, Portugal. Springer, New York (2007)
3. Bessiere, C., Katsirelos, G., Narodytska, N., Quimper, C.-G., Walsh, T.: Decompositions of all different, global cardinality and related constraints. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp. 419–424. Pasadena, California (2009)
4. Bonatti, P.A.: Reasoning with infinite stable models. Artif. Intell. 156(1), 75–111 (2004)
5. Bordeaux, L., Hamadi, Y., Zhang, L.: Propositional satisfiability and constraint programming: a comparative survey. ACM Comput. Surv. 38(4), 12:1–12:54 (2006)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parameter tuning of continuous Hopfield network applied to combinatorial optimization;Annals of Mathematics and Artificial Intelligence;2023-09-22
2. SAT with Global Constraints;2012 IEEE 24th International Conference on Tools with Artificial Intelligence;2012-11