https://openreview.net/forum?id=D2Oaj7v9YJ
LinSATNet: The Positive Linear Satisfiability Neural Networks | OpenReview
Encoding constraints into neural networks is attractive. This paper studies how to introduce the popular positive linear satisfiability to neural networks. We...
the positiveneural networkslinearsatisfiabilityopenreview
https://arxiv.org/abs/2407.13917v1
[2407.13917v1] LinSATNet: The Positive Linear Satisfiability Neural Networks
Abstract page for arXiv paper 2407.13917v1: LinSATNet: The Positive Linear Satisfiability Neural Networks
the positivelinearsatisfiabilityneuralnetworks