Tree-Like Unit Refutations in Horn Constraint Systems.

K. Subramani Piotr J. Wojciechowski

Published in: LATA (2021)

Keyphrases

np hard
intelligent systems
computer systems
data mining
learning systems
propositional logic
real time
genetic algorithm
search algorithm
data model
complex systems
tree structure
tree structures