#### Filter Results:

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

Let Ω be a set of unsatisfiable clauses, an implicit resolution refutation of Ω is a circuit β with a resolution proof α of the statement " β describes a correct tree-like resolution refutation of Ω ". We show that such a system is p-equivalent to Extended Frege. More generally, let τ be a tautology, a [P, Q]-proof of τ is a pair (α, β) s.t. α is a P-proof… (More)

We consider the following neutral delay Duffing equation ax (t) + bx (t) + cx(t) + g(x(t − τ 1), x (t − τ 2), x (t − τ 3)) = p(t) = p(t + 2π), R × R → R is continuous, and p(t) is a continuous 2π-periodic function. In this paper, combining the Brouwer degree theory with a continuation theorem based on Mawhin's coincidence degree, we obtain a sufficient… (More)

- ‹
- 1
- ›