Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

Daniel Gnad, Silvan Sievers, Álvaro Torralba

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Fingerprint

Dive into the research topics of 'Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases'. Together they form a unique fingerprint.

Keyphrases

Computer Science