Search citation statements

Paper Sections

Select...

2

1

1

1

Citation Types

1

81

0

Year Published

2010

2012

Publication Types

Select...

2

1

1

Relationship

1

3

Authors

Journals

(82 citation statements)

1

81

0

“…The interpolation theorem is frequently stated in the following form (see [18] for a discussion of the consequences of this change in formulation):…”

confidence: 99%

“…The interpolation theorem is frequently stated in the following form (see [18] for a discussion of the consequences of this change in formulation):…”

confidence: 99%

“…Given two formulae A and B, such that A ∧ B |= ⊥ (their conjunct A ∧ B is infeasible), there exists a formula I, such that A |= I and I ∧ B |= ⊥ and comps(I) ⊆ comps(A) ∩ comps(B). Koács and Voronkov [18] introduce the term 'reverse interpolant' for this formula and we follow their terminology.…”

confidence: 99%

“…The study of variables that can be eliminated from a formula is an issue of gaining interest [13,15]. Several researchers have noticed that an interpolant can contain fewer variables than V A,B .…”

confidence: 99%

“…[16]. For this reason, recent papers [5,9,11,14,18,19,21] consider the problem of obtaining small interpolants for various theories.…”

confidence: 99%