LinSATNet: The Positive Linear Satisfiability Neural Networks.
Runzhong WangYunhao ZhangZiao GuoTianyi ChenXiaokang YangJunchi YanPublished in: ICML (2023)
Keyphrases
- neural network
- pattern recognition
- satisfiability problem
- artificial neural networks
- neural network model
- positive and negative
- highly non linear
- propositional logic
- fault diagnosis
- computational complexity
- genetic algorithm
- back propagation
- np complete
- fuzzy logic
- temporal logic
- multilayer perceptron
- linear systems
- recurrent neural networks
- training data
- fuzzy systems