|
Article information
2008 , Volume 13, Special issue, p.102-107
Cherkashin E.A.
Shared data structures in the atp-system QUANT/3
A problem of development of new data structures for a new version of the automatic theorem prover (ATP) in positively constructed formulae calculus for QUANT/3 is considered. The aim of the development is to increase the prover's productivity by sharing the computer memory by most of the dynamic data structures, supporting the data structures enhancement with specific structural elements, and, in turn, allowing one to define strategies of the inference search.
[full text] Author(s):
Cherkashin Evgeny Aleksandrovich
PhD.
Office: Institute of system dynamics and control theory SB RAS, Institute for Mathematics and Information Technologies
Address: 634050, Russia, Irkutsk, 134 Lermontov, Str
Phone Office: (3952) 45 30 13
E-mail: eugeneai@icc.ru
Bibliography link:
Cherkashin E.A. Shared data structures in the atp-system QUANT/3 // Computational technologies. 2008. V. 13. Special issue 1. P. 102-107
|
|
|
|
