"linear arithmetic synthesis" - related articles and key terms