Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference23 articles.
1. Abe, G.: Unsolved problems on magic squares. Discrete Math. 127, 3–13 (1994)
2. Ahmed, M.: Algebraic combinatorics of magic squares. Ph.D. Dissertation, University of California, Davis (2004)
3. Barrett, C., de Moura, L., Stump, A.: SMT-COMP: satisfiability modulo theories competition. In: Computer Aided Verification, Lecture Notes in Computer Science, vol. 3576, pp. 20–23 (2005)
4. Barrett, C., Tinelli, C.: CVC3. In: Damm, W., Hermanns, H. (eds.) Proceedings of the 19th International Conference on Computer Aided Verification, vol. 4590 of LNCS, pp. 298–302 (Berlin, July 3–7). Springer, Berlin (2007)
5. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability Modulo Theories, vol. 185 of Frontiers in Artificial Intelligence and Applications, Chapter 26. IOS Press, pp. 825–885 (2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Chapter 21. Combinatorial Designs by SAT Solvers1;Frontiers in Artificial Intelligence and Applications;2021-02-02