Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF D4 Publications, generated: 10:43, 15 November 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Duc-Khanh Tran
    SMELS: Satisfiability Modulo Equality with Lazy Superposition
    In: 6th International Symposium on Automated Technology for Verification and Analysis, Korea, 2008, 186-200