Ana Paula Tomás, Miguel Filgueiras. A New Method for Solving Linear Constraints on the Natural Numbers. In Pedro Barahona, Luís Moniz Pereira, António Porto, editors, EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings. Volume 541 of Lecture Notes in Computer Science, pages 30-44, Springer, 1991.
Abstract is missing.