Complexity Classifications via Algebraic Logic.

Reijo Jaakkola Antti Kuusisto

Published in: CSL (2023)

Keyphrases

worst case
classical logic
computer algebra
neural network
higher order
search engine
e learning
website
decision trees
computational complexity
modal logic
asynchronous circuits