Return to Article Details On the Evaluation of (Meta-)solver Approaches Download Download PDF