Cut-Restriction: From Cuts to Analytic Cuts.

Agata Ciabattoni Timo Lang Revantha Ramanayake

Published in: LICS (2023)

Keyphrases

database systems
facet defining
search engine
gradual transitions
machine learning
genetic algorithm
similarity measure
multiscale
cooperative