Author:
Cunha Alcino,Macedo Nuno,Guimarães Tiago
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Asín, R., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E.: Cardinality networks: a theoretical and empirical study. Constraints 16(2), 195–221 (2011)
2. Cha, B., Iwama, K., Kambayashi, Y., Miyazaki, S.: Local search algorithms for partial MAXSAT. In: AAAI 1997, pp. 263–268. AAAI (1997)
3. Lecture Notes in Computer Science;K. Czarnecki,2009
4. Edwards, J., Jackson, D., Torlak, E.: A type system for object models. In: FSE 2004, pp. 189–199. ACM (2004)
5. Lecture Notes in Computer Science;Z. Fu,2006
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pardinus: A Temporal Relational Model Finder;Journal of Automated Reasoning;2022-09-12
2. Applying cognitive principles to model-finding output: the positive value of negative information;Proceedings of the ACM on Programming Languages;2022-04-29
3. FLACK: Localizing Faults in Alloy Models;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
4. AlloyMax: bringing maximum satisfaction to relational specifications;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
5. Automated generation of consistent, diverse and structurally realistic graph models;Software and Systems Modeling;2021-05-29