N. Hristov

  • Citations Per Year
Learn More
This paper presents the main methodological issues related to the prioritization of Required Operational Capabilities (ROCs) of the Bulgarian Armed Forces (BAF). It is specifically orientated to the achievement of nearly-to-the-real results in the development of military capabilities corresponding to the national and coalition, political and strategic(More)
Emerging applications demand to solve problems that are considered to be more difficult than NP-complete problems. Evaluating a quantified Boolean formula (QBF) is one of those problems. For the satisfiability problem (SAT), the NP-complete subclass of QBF, excellent solvers have been developed. However, research on subclasses of QBF at higher levels has(More)
  • 1