Author:
Klenze Tobias,Bayless Sam,Hu Alan J.
Publisher
Springer International Publishing
Reference18 articles.
1. Attie, P., Cherri, A., Dak Al Bab, K., Sakr, M., Saklawi, J.: Model and program repair via SAT solving. In: Formal Methods and Models for Codesign (MEMOCODE), pp. 148–157. ACM/IEEE (2015)
2. Lecture Notes in Computer Science;PC Attie,1999
3. Attie, P.C., Emerson, E.A.: Synthesis of concurrent systems with many similar processes. ACM Trans. Program. Lang. Sys. (TOPLAS) 20(1), 51–115 (1998)
4. Attie, P.C., Emerson, E.A.: Synthesis of concurrent programs for an atomic read/write model of computation. ACM Trans. Program. Lang. Sys. (TOPLAS) 23(2), 187–242 (2001)
5. Bayless, S., Bayless, N., Hoos, H.H., Hu, A.J.: SAT modulo monotonic theories. In: Twenty-Ninth AAAI Conference on Artificial Intelligence (2015)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献