EasyChair Smart Slide
An Efficient Subsumption Test Pipeline for BS(LRA) Clauses
An Efficient Subsumption Test Pipeline for BS(LRA) Clauses