Making Higher-Order Superposition Work.

Petar Vukmirovic Alexander Bentkamp Jasmin Blanchette Simon Cruanes Visa Nummelin Sophie Tourret

Published in: CADE (2021)

Keyphrases

higher order
pairwise
high order
low order
markov random field
markov models
theorem proving
image segmentation
multiscale
natural images
evolutionary algorithm
denoising
database
expert systems
multi agent systems
metadata
information retrieval