Strategies for Combining Decision Procedures.

Sylvain Conchon, Sava Krstic

Browse the full TACAS paper archive.