output
20022022
most citedA versatile and accurate approximation for LRU cache performance

265 citations

researchers with a paper here
collaborating institutions
Showing 2019 · cs.LOShow all

1 paper · 2 filters

cs.LO2019

The Challenge of Unifying Semantic and Syntactic Inference Restrictions

Christoph Weidenbach

While syntactic inference restrictions don't play an important role for SAT, they are an essential reasoning technique for more expressive logics, such as first-order logic, or fra…