单词 satisfiability 释义 BETA

Examples ofsatisfiability

Dictionary> Examples ofsatisfiabilitysatisfiabilityisn’t in the Cambridge Dictionary yet. You can help!Add a definitionThis definition ofsatisfiabilitydetermines a floating interpretation for our logic.From theCambridge English CorpusThe notion ofsatisfiabilitycan then be expressed in terms of agreeability as follows.From theCambridge English CorpusThis notion ofsatisfiabilityis modeled according to the right-introduction rules of the connectives.From theCambridge English CorpusThe relation = is called the truth relation or thesatisfiabilityrelation.From theCambridge English CorpusWe now recall thesatisfiabilityand maximumsatisfiabilityproblems.From theCambridge English CorpusTransitions serve to simplify constraints and detectsatisfiabilityand unsatisfiability.From theCambridge English CorpusSatisfiabilityin these logics can be mapped into set-basedsatisfiability(such a translation technique is described in the book).From theCambridge English CorpusThese methods generate propositional formulae that are then checked forsatisfiability.From theCambridge English CorpusHowever, when implementing such a language, one need to facesatisfiabilityproblems involving set-based formulas.From theCambridge English CorpusSuch search space pruning techniques are possible in the case ofsatisfiabilitytesting.From theCambridge English CorpusThis has the advantage that typing rules preserve constraintsatisfiability.From theCambridge English CorpusIn other words, the abrupt change in the asymptotic probability ofsatisfiabilityoccurs when the number of clauses is proportional to the number of variables.From theCambridge English CorpusWe obtain better bounds for some specializedsatisfiabilityproblems.From theCambridge English CorpusAs is, a classifier is only able to performsatisfiabilitychecks for a partially defined constraint.From theCambridge English CorpusMaking a sound (empty cache)satisfiabilitycheck before committing to a solution allows the solver to re-establish soundness.From theCambridge English CorpusThis part explains basic notions like solvability orsatisfiability, and discusses the heart of any constraint language, namely the constraint solver.From theCambridge English CorpusHowever, domains that require metric reasoning cannot be compiled efficiently tosatisfiabilityeven if they would otherwise benefit from compilation.From theCambridge English CorpusAnother approach discussed in the paper is scheduling assatisfiability.From theCambridge English CorpusIn fact, correctness of hextract provides a constructive proof of thesatisfiabilityof closed, consistent effect constraints.From theCambridge English Corpus

These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.