Author:
Khurshid Sarfraz,Marinov Darko,Shlyakhter Ilya,Jackson Daniel
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. SAT competitions for comparing state-of-the-art solvers, http://www.satlive.org/SATCompetition/
2. Adjie-Winoto, W., Schwartz, E., Balakrishnan, H., Lilley, J.: The design and implementation of an intentional naming system. In: Proc. 17th ACM Symposium on Operating Systems Principles (SOSP), Kiawah Island (December 1999)
3. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Solving difficult SAT instances in the presence of symmetry. In: Proc. 39th Conference on Design Automation, pp. 731–736 (2002)
4. Bayardo Jr., R.J., Schrag, R.C.: Using CSP look-back techniques to solve real world SAT instances. In: Proc. National Conference on Artificial Intelligence, pp. 203–208 (1997)
5. Beizer, B.: Software Testing Techniques. International Thomson Computer Press (1990)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstract Alloy Instances;Formal Methods;2023
2. A Study of Symmetry Breaking Predicates and Model Counting;Tools and Algorithms for the Construction and Analysis of Systems;2020
3. Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method;Formal Methods and Software Engineering;2019
4. Software Construction Monitoring and Predicting for Human-Machine Pair Programming;Structured Object-Oriented Formal Language and Method;2019
5. Automated model repair for Alloy;Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering;2018-09-03