Abstract--This paper focuses on energy-efficient packet transmission with individual packet delay constraints. The solution presented herein is a generalization of Uysal
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...