Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time.

Simon Guilloud Viktor Kuncak

Published in: TACAS (2) (2022)

Keyphrases

classical logic
worst case
consistency checking
real time
multiscale
computer vision
log files
equivalence relation
simple polygon