Logical Equations with Applications to Automatic Design and Control

Authors:
A. D. Zakrevskii
Affiliations:
United Institute of Informatics Problems, Belarussian National Academy of Sciences, Minsk, Belarus
Venue:
Automation and Remote Control
Year:
2004

Citing 3
Cited 0

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Solving Systems of Logical Equations Using Search Tree Minimization Technique

PDPTA '02 Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications - Volume 3
Problem-Solving Methods in Artificial Intelligence

Problem-Solving Methods in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

New reduction methods for solving large systems of logical equations are described and analyzed. Results of computer-aided experiments are presented.