In a recent work, we introduced an abstraction based algorithm for solving quantified Boolean formulas (QBF) in prenex negation normal form (PNNF) where quantifiers are only allowed in the formula’s prefix and negation appears only in front of variables. In this paper, we present a modified algorithm that lifts the restriction on prenex quantifiers. Instead of a linear quantifier prefix, the al...

The paper presents the AHP model for productivity comparison of Central European countries accessing the European Union. The model consists of two basic parts. The first one estimates the importance of branches within the countries and the second one evaluates the performance of the firms within branches. Finally, the results of both the parts are synthesized and the productivity of the country...

A new approach to military planning and execution has been proposed. This approach seeks to merge planning and execution, and replaces reaction to events with anticipation of events. Anticipatory Planning can benefit from automation. This paper presents a methodology for building an automated system to support Anticipatory Planning. A Plan Description is developed to manage the many branches th...

This work presents a performance analysis of a Multi-Branches Genetic Programming (MBGP) approach applied in symbolic regression (e.g. function approximation) problems. Genetic Programming (GP) has been previously applied to this kind of regression. However, one of the main drawbacks of GP is the fact that individuals tend to grow in size through the evolution process without a significant impr...

In the present time, evaluating the performance of banks is one of the important subjects for societies and the bank managers who want to expand the scope of their operation. One of the non-parametric approaches for evaluating efficiency is data envelopment analysis(DEA). By a mathematical programming model, DEA provides an estimation of efficiency surfaces. A major problem faced by DEA is that...