Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Using BDDs with Combinations of Theories
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |