First-order reduction

Known as: First-order 
In computer science, a first-order reduction is a very weak type of reduction between two computational problems in computational complexity theory… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
We introduce a generic scheme for accelerating first-order optimization methods in the sense of Nesterov. Our approach consists… (More)
  • table 1
  • figure 1
Is this relevant?
Highly Cited
2013
Highly Cited
2013
In this paper, we study optimization methods consisting of iteratively minimizing surrogates of an objective function. By… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
In this section, we define the syntax and semantics of quantified modal logic [Car46, Kri63]. An excellent source on first-order… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We consider the problem of retrieving consistent answers over databases that might be inconsistent with respect to some given… (More)
  • figure 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The model-checking problem for a logic L on a class C of struct ures asks whether a given L-sentence holds in a given structure… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In this paper, we introduce a new fragment of the first-order temporal language, called the monodic fragment, in which all… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper tests traditional capital structure models against the alternative of a pecking order model of corporate financing… (More)
  • figure 1
  • table 1
  • figure 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We identify the computational complexity of the satisfiability problem for FO, the fragment of first-order logic consisting of… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The properties of iron metal that make it useful in remediation of chlorinated solvents may also lead to reduction of other… (More)
  • figure 2
  • figure 4
  • figure 7
Is this relevant?
Highly Cited
1989
Highly Cited
1989
This series of papers presents a complete development and complexity analysis of a decision method, and a quantifier elimination… (More)
Is this relevant?