JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution).

Malte Mues, Falk Howar

Browse the full TACAS paper archive.