Eryk Kopczynski, Szymon Torunczyk. LOIS: an Application of SMT Solvers. In Tim King, Ruzica Piskac, editors, Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. Volume 1617 of CEUR Workshop Proceedings, pages 51-60, CEUR-WS.org, 2016. [doi]
Abstract is missing.