单词 unsatisfiable 释义 BETA

Examples ofunsatisfiable

Dictionary> Examples ofunsatisfiableunsatisfiableisn’t in the Cambridge Dictionary yet. You can help!Add a definitionSince !x-freedom is closed under by definition, any tautologies/unsatisfiableformulae are !x-free.From theCambridge English CorpusWe only need a constraint solver to determine minimalunsatisfiableconstraints and a constraint simplifier to display types as succinctly as possible.From theCambridge English CorpusA given description is satisfied by a set of feature structures, which is empty if the description isunsatisfiable.From theCambridge English CorpusIn the ontological context, incoherency is also important becauseunsatisfiableconcepts often indicate a conceptualization problem in the ontology and should thus be avoided.From theCambridge English CorpusCompleteness of the algorithm simply means that, when picking formulas from the nth space, the answer is 'unsatisfiable' with high probability, too.From theCambridge English CorpusA possible complication of using inequality constraints with atoms is that, with a sufficient number of inequality constraints, the constraints may becomeunsatisfiable.From theCambridge English CorpusNodes containing anunsatisfiableset of equality atoms are said to be failed and have no children.From theCambridge English CorpusAccording to this result, the relation preserves the requirements of a constraint solver and the constraint solver steps fail only in case of anunsatisfiableconstraint store.From theCambridge English CorpusFirst of all, we require the algorithm to be correct in that theunsatisfiableanswer implies that the input formula really isunsatisfiable.From theCambridge English CorpusThe cupidity of a nation is never ending and isunsatisfiable.From theHansard archiveExample from the Hansard archive. Contains Parliamentary information licensed under theOpen Parliament Licence v3.0There are several practical methods of computing minimalunsatisfiablecores.FromWikipediaThis example is from Wikipedia and may be reused under a CC BY-SA license.This can be analyzed to produce a smallerunsatisfiablecore.FromWikipediaThis example is from Wikipedia and may be reused under a CC BY-SA license.Even if constraint propagation does not produce an empty domain or anunsatisfiableconstraint, it may nevertheless reduce the domains or strengthen the constraints.FromWikipediaThis example is from Wikipedia and may be reused under a CC BY-SA license.As a result, if this set is detectedunsatisfiable, the interpreter backtracks.FromWikipediaThis example is from Wikipedia and may be reused under a CC BY-SA license.If the answer is no, the formula isunsatisfiable.FromWikipediaThis example is from Wikipedia and may be reused under a CC BY-SA license.Such a set is easily recognizable as satisfiable orunsatisfiablewith respect to the semantics of the logic in question.FromWikipediaThis example is from Wikipedia and may be reused under a CC BY-SA license.Completeness can also be proved: if a set of formulae isunsatisfiable, there exists a closed tableau built from it by these rules.FromWikipediaThis example is from Wikipedia and may be reused under a CC BY-SA license.Tableaux with unification can be proved complete: if a set of formulae isunsatisfiable, it has a tableau-with-unification proof.FromWikipediaThis example is from Wikipedia and may be reused under a CC BY-SA license.This operation may not detect inconsistency even if the constraint store isunsatisfiable.FromWikipediaThis example is from Wikipedia and may be reused under a CC BY-SA license.

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.