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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

To satisfy the stringent requirement of capacity enhancement in wireless networks, cooperative relaying is envisioned as one of…

2006

We present a sound, complete and relatively straightforward tableau method for deciding valid formulas in the propositional…

2005

We present a proof-searching algorithm for the classical first order natural deduction calculus and prove its correctness. For…

2005

This paper improves controller synthesis of discrete Takagi-Sugeno fuzzy systems based on non-quadratic Lyapunov functions…

1995

In certain polymer-penetrant systems, the effects of Fickian diffusion are dominated by nonlinear viscoelastic behavior…

1992

This paper investigates the regularized least norm problem \[ \text{minimize }F(\mathbf{x}) = (\varepsilon /s) \| \mathbf{x} \|_s…

1986

A model for an interface with localized adsorption is presented, in which the surface has a distribution of sticky adhesive sites…

1972

A detection system is considered that analyzes the spectrum of the time-series output from a sensing element. The spectral data…

1965

~ ~ BILE there is no general theory for the interactions of the elementary particles, theorists wish to have some equations to…

1955