Raphael Berthon, Christophe Ringeissen. Satisfiability Modulo Free Data Structures Combined with Bridging Functions. 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 71-80, CEUR-WS.org, 2016. [doi]
Abstract is missing.