A declarative encoding of telecommunications feature subscription in SAT

  1. Codish, M.
  2. Genaim, S.
  3. Stuckey, P.J.
Actas:
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

ISBN: 9781605585680

Año de publicación: 2009

Páginas: 255-265

Tipo: Aportación congreso

DOI: 10.1145/1599410.1599442 GOOGLE SCHOLAR
Fuente de los datos: Scopus