C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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