LIM+ Challenge Problems by RUE Hyper-Resolution
暂无分享,去创建一个
[1] Vincent J. Digricoli. The Management of Heuristic Search in Boolean Experiments with Rue Resolution , 1985, IJCAI.
[2] Garrett Birkhoff,et al. Distributive postulates for systems like Boolean algebras , 1946 .
[3] Lawrence J. Henschen,et al. Hyperparamodulation: A Refinement of Paramodulation , 1980, CADE.
[4] V. S. Subrahmanian,et al. And-Or Graphs Applied to RUE Resolution , 1989, IJCAI.
[5] Vincent J. Digricoli. Resolution by unification and equality , 1983 .
[6] James B. Morris,et al. E-Resolution: Extension of Resolution to Include the Equality Relation , 1969, IJCAI.
[7] Malcolm C. Harrison,et al. Equality-based binary resolution , 1986, JACM.
[8] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.