On the Proof Complexity of MCSAT.

Gereon Kremer Erika Ábrahám Vijay Ganesh

Published in: SC-square@SIAM AG (2019)

Keyphrases

computational complexity
real world
social networks
computer vision
image segmentation
multiscale
expert systems
evolutionary algorithm
probabilistic model
worst case
complexity analysis
high computational complexity
conjunctive query containment