Author:
Bomanson Jori,Gebser Martin,Janhunen Tomi
Publisher
Springer International Publishing
Reference41 articles.
1. Lecture Notes in Computer Science;I. Abío,2013
2. Abío, I., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E., Mayer-Eichberger, V.: A new look at BDDs for pseudo-Boolean constraints. Journal of Artificial Intelligence Research 45, 443–480 (2012)
3. Alviano, M., Dodaro, C., Ricca, F.: Preliminary report on WASP 2.0. In: NMR 2014 (2014)
4. Lecture Notes in Computer Science;M. Alviano,2013
5. Asín, R., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E.: Cardinality networks: A theoretical and empirical study. Constraints 16(2), 195–221 (2011)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献