Abstract:
The paper offers effective techniques that considerably reduce the amount of searching performed for finding the
shortest solution of linear logic equations. It presents software implementation results, estimates the competitiveness of the programs developed and discusses their application areas.
Fulltext:
PDF file (166 kB)