Keyword:redundancy

Publications
Enhancing Superposition Reasoning in Linear Real Arithmetic through Selection and Simplification (Extended Version) Johannes Schoisswohl, Laura Kovács, Konstantin Korovin and Andrei Voronkov EasyChair Preprint 16032
Reducibility Constraints in Superposition Marton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint 12142
Resilience Analysis in the Permanent Partitioning of a Water Distribution Network Enrico Creaco, Armando Di Nardo, Carlo Giudicianni, Roberto Greco and Giovanni Francesco Santonastaso In:HIC 2018. 13th International Conference on Hydroinformatics