Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference15 articles.
1. Audemard, G., Benhamou, B., Henocque, L.: Predicting and detecting symmetries in fol finite model search. J. Autom. Reason. 36(3), 177–212 (2006)
2. LNAI;P Baumgartner,2000
3. Applied Logic Series;R Caferra,2004
4. Caferra, R., Zabel, N.: A method for simultaneous search for refutations and models by equational constraint solving. J. Symb. Comput. 13, 613–641 (1992)
5. Claessen, K., Sorensson, N.: New techniques that improve MACE-style finite model finding. In: Proceedings of the CADE-19 Workshop: Model Computation—Principles, Algorithms, Applications, Miami (2003)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Beyond the elementary representations of program invariants over algebraic data types;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
2. On the Expressivity and Applicability of Model Representation Formalisms;Frontiers of Combining Systems;2019