Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers.
Mokanarangan ThayaparanMarco ValentinoAndré FreitasPublished in: CoRR (2022)
Keyphrases
- multi hop
- pseudo boolean
- wireless networks
- wireless sensor networks
- mobile ad hoc networks
- energy efficient
- constraint solver
- sat encodings
- wireless ad hoc networks
- routing protocol
- base station
- ad hoc networks
- data transmission
- end to end
- energy consumption
- objective function
- real time
- neural network
- routing algorithm
- mesh network
- wifi
- sensor networks
- data sets