Theorem Proving Based on the Extension Rule
Journal of Automated Reasoning
Visualizing SAT Instances and Runs of the DPLL Algorithm
Journal of Automated Reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |