Unit propagation (UP) or Boolean Constraint propagation (BCP) or the one-literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Einheitsresolution (de)
- Propagation unitaire (fr)
- One-literal rule (nl)
- Unit propagation (en)
|
rdfs:comment
| - Einheitsresolution (englisch unit propagation) ist in der mathematischen Logik eine Vorgehensweise um eine Menge von Klauseln zu vereinfachen. Um eine Einheitsresolution anwenden zu können, muss in der gegebenen Klauselmenge eine sogenannte Einheitsklausel enthalten sein. Eine Einheitsklausel ist eine Klausel, die nur aus einem einzelnen Literal besteht, d. h. entweder aus einer Variable oder der Negation einer Variablen. Einheitsresolution wird unter anderem im verwendet und ist eine wichtige Komponente von vielen SAT-Solvern. (de)
- La Propagation unitaire (UP pour Unit propagation) or Propagation de contrainte Booléenne ou règle du littéral unique (OLR one-literal rule) est une procédure de démonstration automatique de théorèmes utilisé pour simplifier un ensemble de clauses (en général propositionnelles). (fr)
- Unit propagation (UP) or Boolean Constraint propagation (BCP) or the one-literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses. (en)
- Bij is de one-literal rule (OLR) of unit propagation (UP) een methode om een verzameling clausules (Engels: een clause set) te vereenvoudigen en 'op te schonen'. De one-literal rule houdt in dat wanneer een verzameling clausules een clausule bevat met één literal dan is het mogelijk die clausule en alle clausules waar die literal in voorkomt te verwijderen en alle voorkomens van de negatie van de literal te verwijderen. (nl)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has abstract
| - Einheitsresolution (englisch unit propagation) ist in der mathematischen Logik eine Vorgehensweise um eine Menge von Klauseln zu vereinfachen. Um eine Einheitsresolution anwenden zu können, muss in der gegebenen Klauselmenge eine sogenannte Einheitsklausel enthalten sein. Eine Einheitsklausel ist eine Klausel, die nur aus einem einzelnen Literal besteht, d. h. entweder aus einer Variable oder der Negation einer Variablen. Einheitsresolution wird unter anderem im verwendet und ist eine wichtige Komponente von vielen SAT-Solvern. (de)
- La Propagation unitaire (UP pour Unit propagation) or Propagation de contrainte Booléenne ou règle du littéral unique (OLR one-literal rule) est une procédure de démonstration automatique de théorèmes utilisé pour simplifier un ensemble de clauses (en général propositionnelles). (fr)
- Unit propagation (UP) or Boolean Constraint propagation (BCP) or the one-literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses. (en)
- Bij is de one-literal rule (OLR) of unit propagation (UP) een methode om een verzameling clausules (Engels: een clause set) te vereenvoudigen en 'op te schonen'. De one-literal rule houdt in dat wanneer een verzameling clausules een clausule bevat met één literal dan is het mogelijk die clausule en alle clausules waar die literal in voorkomt te verwijderen en alle voorkomens van de negatie van de literal te verwijderen. (nl)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |