Publications

Export 1 results:
Filters: Author is Manquinho, Vasco  [Clear All Filters]
2016
Si, X., X. Zhang, V. Manquinho, M. Janota, A. Ignatiev, and M. Naik, "On incremental core-guided maxsat solving", International Conference on Principles and Practice of Constraint Programming: Springer, pp. 473–482, 2016.