Decision problem

Known as: Solvable, Decision variant, Decidability problems 
In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes-or-no answer… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
In an online decision problem, one makes a sequence of decisions without knowledge of the future. Each period, one pays a cost… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Most real decisions, unlike those of economics texts, have a status quo alternative-that is, doing nothing or maintaining one’s… (More)
  • table I
  • table 2
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
One fundamental issue in sensor networks is the coverage problem, which reflects how well a sensor network is monitored or… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Despite the signi cant progress in multiagent teamwork, existing research does not address the optimality of its prescriptions… (More)
  • figure 5
  • figure 7
  • figure 8
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The ®nancial decisions of an organization are usually included in the context of optimization. Concerning a longterm period… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of… (More)
Is this relevant?
Highly Cited
1980
Highly Cited
1980
We consider the decision problem for sets of sentences of first-order logic when instead of interpreting function symbols as… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
A method for combining decision procedures for several theories into a single decision procedure for their combination is… (More)
Is this relevant?
Highly Cited
1968
Highly Cited
1968
Many of the important concepts and results of conventional finite automata theory are developed for a generalization in which… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1959
Highly Cited
1959
Finite automata are considered in this paper a s instruments for classifying finite tapes. Each onetape automaton defines a set… (More)
Is this relevant?