output
20022015
most citedConsistent Streaming Through Time: A Vision for Event Stream Processing

215 citations

researchers with a paper here
collaborating institutions
Showing 2009 · cs.AIShow all

1 paper · 2 filters

cs.AI2009★ 1 cited

Learning for Dynamic subsumption

Youssef Hamadi, Said Jabbour, Lakhdar Sais

In this paper a new dynamic subsumption technique for Boolean CNF formulae is proposed. It exploits simple and sufficient conditions to detect during conflict analysis, clauses fro…