A declarative encoding of telecommunications feature subscription in SAT
- Codish, M.
- Genaim, S.
- Stuckey, P.J.
Actes:
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
ISBN: 9781605585680
Any de publicació: 2009
Pàgines: 255-265
Tipus: Aportació congrés