Selected papers on logic synthesis for integrated circuit design | lit.salon