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  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.
Legal browser ?
- satiate to excess
- satisfaction for damage
- satisfaction for injury
- satisfaction of judgment
- satisfaction of mortgage
- Satisfaction piece
- Satisfaction should be made to that fund which has sustained the loss
- satisfactory evidence
- satisfactory notice
- satisfy a claim
- satisfy desires
- satisfy in advance
- satisfy in full
- satisfy oneself
- satisfy requirements
- satisfy to excess
- Satius est petere fontes quam sectari rivulos
- save from
- save from loss
Full browser ?
- Satisfactory Academic Progress
- Satisfactory but Limited by Lack of Endocervical Component
- Satisfactory condition
- Satisfactory evidence
- Satisfactory Evidence Received This Headquarters
- Satisfactory Implementation of Design
- satisfactory notice
- Satisfactory or Unsatisfactory
- Satisfait ou Remboursé
- Satisfiability Library
- Satisfiability Modulo Theories
- Satisfiability Modulo Theories Competition
- Satisfiability problem
- Satisfiability Solvers and Program Verification
- satisficing behaviour
- satisficing theory
- satisfied by
- satisfied her by
- satisfied her with
- satisfied herself by
- satisfied herself with
- satisfied him by
- satisfied him with
- satisfied himself by
- satisfied himself with
- satisfied me by
- satisfied me with