_id,doi,title
4569,10.1007/978-3-642-02658-4_14,Better quality in synthesis through quantitative objectives