Read-once refutations in Horn constraint systems: an algorithmic approach.

K. Subramani Piotr Wojciechowski Ying Sheng

Published in: J. Log. Comput. (2022)

Keyphrases

management system
expert systems
distributed systems
machine learning
artificial intelligence
decision trees
case study
computational complexity
np complete
building blocks
complex systems