Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
scientific article; zbMATH DE number 5633344
Computer Aided Verification
scientific article