Search by constraint propagation-Reference-Cited by-同舟云学术

Search by constraint propagation

Published:2015-07-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Martinez Thierry¹,Fages François¹,Soliman Sylvain¹

Affiliation:

1. Inria Paris-Rocquencourt, France

Funder

Agence Nationale de la Recherche

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2790449.2790527

Reference22 articles.

1. S. AB. Sicstus 4.2.3 2012. URL http://sicstus.sics.se/. S. AB. Sicstus 4.2.3 2012. URL http://sicstus.sics.se/.

2. R. Backofen and S. Will . Excluding symmetries in constraint-based search . In J. Jaffar editor CP volume 1713 of Lecture Notes in Computer Science pages 73 -- 87 . Springer 1999 . ISBN 3-540-66626-5. . URL http://dblp.uni-trier.de/db/conf/cp/cp99.html{\#}BackofenW99. R. Backofen and S. Will. Excluding symmetries in constraint-based search. In J. Jaffar editor CP volume 1713 of Lecture Notes in Computer Science pages 73--87. Springer 1999. ISBN 3-540-66626-5. . URL http://dblp.uni-trier.de/db/conf/cp/cp99.html{\#}BackofenW99.

3. Termination analysis of logic programs through combination of type-based norms

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics;Lecture Notes in Computer Science;2024

2. Spacetime Programming;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07