The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories”

Some remarks on a problem of C. Alsina.

J. Matkowski, M. Sablik (1986)

Stochastica

Similarity:

Equation [1] f(x+y) + f (f(x)+f(y)) = f (f(x+f(y)) + f(f(x)+y)) has been proposed by C. Alsina in the class of continuous and decreasing involutions of (0,+∞). General solution of [1] is not known yet. Nevertheless we give solutions of the following equations which may be derived from [1]: [2] f(x+1) + f (f(x)+1) = 1, [3] f(2x) + f(2f(x)) = f(2f(x + f(x))). Equation [3] leads to a Cauchy functional equation: ...

On measures of concordance.

Marco Scarsini (1984)

Stochastica

Similarity:

We give a general definition of concordance and a set of axioms for measures of concordance. We then consider a family of measures satisfying these axioms. We compare our results with known results, in the discrete case.