Even Faster Algorithms for CSAT Over supernilpotent Algebras.

Piotr Kawalek Jacek Krzaczkowski

Published in: MFCS (2020)

Keyphrases

computational cost
theoretical analysis
worst case
computationally efficient
orders of magnitude
data structure
significant improvement
data mining algorithms
times faster
graph theory
databases
computer vision
information systems
search space
computational efficiency
computationally expensive