BETA
Examples ofunsatisfiable
Dictionary> Examples ofunsatisfiable
unsatisfiableisn’t in the Cambridge Dictionary yet. You can help!
Add a definition
Since !x-freedom is closed under by definition, any tautologies/unsatisfiableformulae are !x-free.
From theCambridge English Corpus
We only need a constraint solver to determine minimalunsatisfiableconstraints and a constraint simplifier to display types as succinctly as possible.
From theCambridge English Corpus
A given description is satisfied by a set of feature structures, which is empty if the description isunsatisfiable.
From theCambridge English Corpus
In the ontological context, incoherency is also important becauseunsatisfiableconcepts often indicate a conceptualization problem in the ontology and should thus be avoided.
From theCambridge English Corpus
Completeness of the algorithm simply means that, when picking formulas from the nth space, the answer is 'unsatisfiable' with high probability, too.
From theCambridge English Corpus
A possible complication of using inequality constraints with atoms is that, with a sufficient number of inequality constraints, the constraints may becomeunsatisfiable.
From theCambridge English Corpus
Nodes containing anunsatisfiableset of equality atoms are said to be failed and have no children.
From theCambridge English Corpus
According 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 Corpus
First of all, we require the algorithm to be correct in that theunsatisfiableanswer implies that the input formula really isunsatisfiable.
From theCambridge English Corpus
The cupidity of a nation is never ending and isunsatisfiable.
From the
Hansard archive
Example from the Hansard archive. Contains Parliamentary information licensed under theOpen Parliament Licence v3.0
There are several practical methods of computing minimalunsatisfiablecores.
From
This example is from Wikipedia and may be reused under a CC BY-SA license.
Wikipedia
This example is from Wikipedia and may be reused under a CC BY-SA license.This can be analyzed to produce a smallerunsatisfiablecore.
FromThis example is from Wikipedia and may be reused under a CC BY-SA license.
Wikipedia
This 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.
FromThis example is from Wikipedia and may be reused under a CC BY-SA license.
Wikipedia
This 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.
FromThis example is from Wikipedia and may be reused under a CC BY-SA license.
Wikipedia
This example is from Wikipedia and may be reused under a CC BY-SA license.If the answer is no, the formula isunsatisfiable.
FromThis example is from Wikipedia and may be reused under a CC BY-SA license.
Wikipedia
This 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.
FromThis example is from Wikipedia and may be reused under a CC BY-SA license.
Wikipedia
This 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.
FromThis example is from Wikipedia and may be reused under a CC BY-SA license.
Wikipedia
This 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.
FromThis example is from Wikipedia and may be reused under a CC BY-SA license.
Wikipedia
This 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.
FromThis example is from Wikipedia and may be reused under a CC BY-SA license.
Wikipedia
This 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.
- longer-term perspective
- longer-term project
- longer-term solution
- longer-term trend
- long-established tradition
- longevity
- long-face
- long flight
- long-form
- long-form
- long gestation
- long gilts
- long-gilts
- long-grain rice
- long-grain-rice
- long hair
- longhand
- long-haul
- long-hauler
- long-hauler
- long-haul flight
- long-held view
- long hiatus
- long hike
- long history