Efficient constraint propagation engines
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Schulte, Christian; Stuckey, Peter J.
- 卷第31卷
- 期第1期
- 印刷ISSN0164-0925
- 文件大小303.14KB
- 发表时间2008-12-01
- DOI10.1145/1452044.1452046
- 页码1-43
[ACM Press Proceeding of the eighth ACM symposium - Sao Paulo, Brazil (2008.09.16-2008.09.19)] Proceeding of the eighth ACM symposium on Document engineering - DocEng '08 - Aggregate documentsShilman, Michael · 2008
[ACM Press Proceeding of the eighth ACM symposium - Sao Paulo, Brazil (2008.09.16-2008.09.19)] Proceeding of the eighth ACM symposium on Document engineering - DocEng '08 - PrintMonkeyBaldwin, Jennifer; Rowson, James A.; Coady, Yvonne · 2008
[ACM Press Proceeding of the eighth ACM symposium - Sao Paulo, Brazil (2008.09.16-2008.09.19)] Proceeding of the eighth ACM symposium on Document engineering - DocEng '08 - MalanBlouin, Arnaud; Beaudoux, Olivier; Loiseau, Stéphane · 2008
[ACM Press Proceeding of the eighth ACM symposium - Sao Paulo, Brazil (2008.09.16-2008.09.19)] Proceeding of the eighth ACM symposium on Document engineering - DocEng '08 - Satisficing scrollsHurst, Nathan; Marriott, Kim · 2008
[ACM Press Proceeding of the eighth ACM symposium - Sao Paulo, Brazil (2008.09.16-2008.09.19)] Proceeding of the eighth ACM symposium on Document engineering - DocEng '08 - Interactive office documentsBoyer, John M. · 2008
[ACM Press Proceeding of the eighth ACM symposium - Sao Paulo, Brazil (2008.09.16-2008.09.19)] Proceeding of the eighth ACM symposium on Document engineering - DocEng '08 - Document logsGormish, Michael; Wolff, Greg; Piersol, Kurt; Hart, Peter · 2008
[ACM Press Proceeding of the eighth ACM symposium - Sao Paulo, Brazil (2008.09.16-2008.09.19)] Proceeding of the eighth ACM symposium on Document engineering - DocEng '08 - Authoring adaptive diagramsMcCormack, Cameron; Marriott, Kim; Meyer, Bernd · 2008
[ACM Press Proceeding of the eighth ACM symposium - Sao Paulo, Brazil (2008.09.16-2008.09.19)] Proceeding of the eighth ACM symposium on Document engineering - DocEng '08 - Summarizing and referringGonçalves, Patricia Nunes; Rino, Lucia; Vieira, Renata · 2008