1. Clause tableaux for maximum and minimum satisfiability. (27th August 2019) Authors: Argelich, Josep; Li, Chu Min; Manyà, Felip; Soler, Joan Ramon Journal: Logic journal of the IGPL Issue: Volume 29:Number 1(2021) Page Start: 7 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗