LinSATNet: The Positive Linear Satisfiability Neural Networks.

Runzhong Wang Yunhao Zhang Ziao Guo Tianyi Chen Xiaokang Yang Junchi Yan

Published in: CoRR (2024)

Keyphrases

neural network
positive and negative
computational complexity
highly non linear
pattern recognition
np complete
recurrent neural networks
genetic algorithm
artificial neural networks
feed forward
artificial intelligence
fuzzy logic
neural network model
multi layer
training process
sat problem