The eXtended Least Number Heuristic
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
SEM: a system for enumerating models
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Model checking with SAT-based characterization of ACTL formulas
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Computer search for counterexamples to wilkie's identity
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
A Hybrid Method for Finite Model Search in Equational Theories
Fundamenta Informaticae
MACE4 and SEM: a comparison of finite model generators
Automated Reasoning and Mathematics
Hi-index | 0.00 |