RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Optimal Length Resolution Refutations of Difference Constraint Systems
Journal of Automated Reasoning
Fast and flexible proof checking for SMT
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
A mechanical verification of the stressing algorithm for negative cost cycle detection in networks
Science of Computer Programming
A new algorithm for linear and integer feasibility in horn constraints
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
SMT proof checking using a logical framework
Formal Methods in System Design
Hi-index | 0.00 |