Semiring-Based Soft Constraints-Reference-Cited by-同舟云学术

Semiring-Based Soft Constraints

Published:2008 Issue: Volume: Page:155-173
ISSN:0302-9743
Container-title:Concurrency, Graphs and Models
language:
Short-container-title:

Author:

Bistarelli Stefano,Rossi Francesca

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68679-8_11

Reference75 articles.

1. Apt, K.R.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)

2. Lecture Notes in Computer Science;G. Bella,2001

3. Bella, G., Bistarelli, S.: Soft Constraint Programming to Analysing Security Protocols. In: Theory and Practice of Logic Programming (TPLP), special Issue on Verification and Computational Logic, vol. 4(5), pp. 1–28. Cambridge University Press, Cambridge (2004)

4. Lecture Notes in Computer Science;G. Bella,2004

5. Bella, G., Bistarelli, S.: Information Assurance for Security Protocols. Computers & Security 24(4), 322–333 (2005)

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

1. Exact stochastic constraint optimisation with applications in network analysis;Artificial Intelligence;2022-03

2. Vaccination Planning in Peru using Constraint Programming;Proceedings of the 14th International Conference on Agents and Artificial Intelligence;2022

3. Soft component automata: Composition, compilation, logic, and verification;Science of Computer Programming;2019-09

4. Combining Stochastic Constraint Optimization and Probabilistic Programming;Lecture Notes in Computer Science;2017

5. A Component-Oriented Framework for Autonomous Agents;Formal Aspects of Component Software;2017