Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference14 articles.
1. Symmetry-breaking predicates for search problems;Crawford;Fifth International Conference on Principles of Knowledge Representation and Reasoning,1996
2. Isomorph-free exhaustive generation;McKay;Journal of Algorithms,1998
3. Isomorph-free model enumeration: A new method for checking relational specifications;Jackson;ACM Transactions on Programming Languages and Systems,1998
4. Better verification through symmetry;Norris Ip;Formal Methods in System Design,1996
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstract Alloy Instances;Formal Methods;2023
2. REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track);2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10
3. Pardinus: A Temporal Relational Model Finder;Journal of Automated Reasoning;2022-09-12
4. HawkEye: User-Guided Enumeration of Scenarios;2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE);2021-10
5. A study of the learnability of relational properties: model counting meets machine learning (MCML);Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06