Author:
Abío Ignasi,Stuckey Peter J.
Publisher
Springer International Publishing
Reference29 articles.
1. Abío, I.: Solving hard industrial combinatorial problems with SAT. Ph.D. thesis, Technical University of Catalonia, UPC (2013)
2. Lecture Notes in Computer Science;I. Abío,2013
3. 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 (JAIR) 45(1), 443–480 (2012)
4. Lecture Notes in Computer Science;I. Abío,2013
5. Lecture Notes in Computer Science;I. Abío,2012
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献