![Normalisation and subformula property for a system of classical logic with Tarski's rule | SpringerLink Normalisation and subformula property for a system of classical logic with Tarski's rule | SpringerLink](https://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00153-021-00775-6/MediaObjects/153_2021_775_Figl_HTML.png)
Normalisation and subformula property for a system of classical logic with Tarski's rule | SpringerLink
![Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic | SpringerLink Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic | SpringerLink](https://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10703-021-00372-6/MediaObjects/10703_2021_372_Fig8_HTML.png)
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic | SpringerLink
![Sustainability | Free Full-Text | Location-Routing Optimization with Renting Social Vehicles in a Two-Stage E-Waste Recycling Network | HTML Sustainability | Free Full-Text | Location-Routing Optimization with Renting Social Vehicles in a Two-Stage E-Waste Recycling Network | HTML](https://www.mdpi.com/sustainability/sustainability-13-11879/article_deploy/html/images/sustainability-13-11879-g002.png)
Sustainability | Free Full-Text | Location-Routing Optimization with Renting Social Vehicles in a Two-Stage E-Waste Recycling Network | HTML
Determination of Objective Weights Using a New Method Based on the Removal Effects of Criteria (MEREC)
![Is Riot's “Random” ARAM Algorithm Giving You Worse Champions in League of Legends? | by Riley Howsden | Towards Data Science Is Riot's “Random” ARAM Algorithm Giving You Worse Champions in League of Legends? | by Riley Howsden | Towards Data Science](https://miro.medium.com/max/654/0*8Xjb3ioFFgJFRP9p.png)