satisfiable


Also found in: Dictionary, Thesaurus, Encyclopedia, Wikipedia.
Related to satisfiable: unsatisfiable
See: placable
Mentioned in ?
References in periodicals archive ?
At the region where the problems are satisfiable, DOM is the worst heuristic, as it is dominated by the other five heuristics.
PA is not satisfiable in any finite structure, just as PA + TI[[alpha]] or Q are not.
R]-formula [Psi] is satisfiable iff there exists a relational document structure D and an assignment v such that D [[satisfies].
1]) is not satisfiable, this reduction suffices to prove the lemma.
We say that a formula f is satisfiable if and only if there exists a structure M and state s of M such that M, s [satisfies] f.
V'], is a subformula of [Tau](G, f'), and hence satisfiable as well.
At the core, of the modern project, in contrast, is the pragmatic and therapeutic hope that rational manipulation of the environment and of the psyche can end all profound human suffering and thereby reveal humans as nothing more than very clever, historically malleable, and ultimately satisfiable animals whom death in itself does not deeply move.
The reasoning is that it is hard to predict, in general, which conditions are easily satisfiable, and alternative satisfaction causes subdivision to stop under the weakest possible conditions, thus avoiding impractical amounts of subdivision.
Below this critical value, nearly all cases are satisfiable, and above that value, almost all of them are unsatisfiable.
Hintikka [1955] contains a theorem that for any nth-order sentence S, there is a second-order sentence S+ such that if S is satisfiable then so is S+, and S is a logical truth if and only if S+ is a logical truth.
Since an agent might fail to infer that not satisfying one desire is a necessary means to satisfying the other, even when her other beliefs entail this conclusion, an agent might have predominant intentions which are incompatible relative to her beliefs, in that they are not mutually satisfiable if all her beliefs are true.
4) In IRS Letter Ruling 9515039 (1/17/95), the IRS, although allowing the use of notes to satisfy annuity payments (provided the remainder interest holder guaranteed the payment of the note and had sufficient independent wealth to satisfy the obligation), ruled that if the payment of the notes was satisfiable solely, out of the underlying trust property and earnings, the notes represented only a cumulative right of withdrawal of trust assets, which is not a qualified annuity interest under Regs.