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.