Author:
Akgün Özgür,Gent Ian P.,Jefferson Christopher,Miguel Ian,Nightingale Peter
Publisher
Springer International Publishing
Reference26 articles.
1. LNCS;I Abío,2015
2. Asín, R., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E.: Cardinality networks: a theoretical and empirical study. Constraints 16(2), 195–221 (2011). doi: 10.1007/s10601-010-9105-0
3. Lecture Notes in Computer Science;F Bacchus,2007
4. Biere, A.: Lingeling, plingeling and treengeling entering the sat competition 2013. In: Proceedings of SAT Competition, pp. 51–52 (2013)
5. Biere, A., Heule, M., van Maaren, H.: Handbook of Satisfiability, vol. 185. IOS Press, Amsterdam (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel Planning using a Lazy Clause Generation Solver;2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI);2020-11
2. Effective Encodings of Constraint Programming Models to SMT;Lecture Notes in Computer Science;2020
3. Theory learning with symmetry breaking;Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming;2017-10-09