Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems.

K. Subramani Piotr J. Wojciechowski

Published in: LFCS (2022)

Keyphrases

orders of magnitude
management system
benchmark datasets
brute force
significant improvement
times faster
computer vision algorithms
neural network
data mining
learning algorithm
computational complexity
worst case
optimization problems