22 citations · 90 across the 29 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CC2023
Bounds on BDD-Based Bucket Elimination
Stefan Mengel
We study BDD-based bucket elimination, an approach to satisfiability testing using variable elimination which has seen several practical implementations in the past. We prove that…
cs.DB2023
Skyline Operators for Document Spanners
Antoine Amarilli, Benny Kimelfeld, Sébastien Labbé +1
When extracting a relation of spans (intervals) from a text document, a common practice is to filter out tuples of the relation that are deemed dominated by others. The domination…