Property |
Value |
dbo:abstract
|
- 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)
- 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)
|
dbo:isPartOf
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 6737 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1984 (xsd:integer)
- 1996 (xsd:integer)
|
prop-fr:auteur
|
- Jean Gallier (fr)
- M. Stickel (fr)
- William Dowling (fr)
- Jean Gallier (fr)
- M. Stickel (fr)
- William Dowling (fr)
|
prop-fr:journal
|
- Journal of Logic Programming (fr)
- Journal of Logic Programming (fr)
|
prop-fr:lang
| |
prop-fr:langue
| |
prop-fr:lireEnLigne
|
- http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.49.5500&rep=rep1&type=pdf|auteur1=H. Zhang (fr)
- http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.49.5500&rep=rep1&type=pdf|auteur1=H. Zhang (fr)
|
prop-fr:revue
|
- Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics (fr)
- Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics (fr)
|
prop-fr:titre
|
- Linear-time algorithms for testing the satisfiability of propositional Horn formulae (fr)
- An efficient algorithm for unit-propagationAn efficient algorithm for unit-propagation (fr)
- Linear-time algorithms for testing the satisfiability of propositional Horn formulae (fr)
- An efficient algorithm for unit-propagationAn efficient algorithm for unit-propagation (fr)
|
prop-fr:url
|
- https://www.researchgate.net/profile/Jean_Gallier/publication/220118441_Linear-Time_Algorithms_for_Testing_the_Satisfiability_of_Propositional_Horn_Formulae/links/02e7e529e40d190605000000.pdf?disableCoverPage=true|lire en ligne=https://www.researchgate.net/profile/Jean_Gallier/publication/220118441_Linear-Time_Algorithms_for_Testing_the_Satisfiability_of_Propositional_Horn_Formulae/links/02e7e529e40d190605000000.pdf|pages=267–284 (fr)
- https://www.researchgate.net/profile/Jean_Gallier/publication/220118441_Linear-Time_Algorithms_for_Testing_the_Satisfiability_of_Propositional_Horn_Formulae/links/02e7e529e40d190605000000.pdf?disableCoverPage=true|lire en ligne=https://www.researchgate.net/profile/Jean_Gallier/publication/220118441_Linear-Time_Algorithms_for_Testing_the_Satisfiability_of_Propositional_Horn_Formulae/links/02e7e529e40d190605000000.pdf|pages=267–284 (fr)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- 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)
- 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)
|
rdfs:label
|
- Einheitsresolution (de)
- Propagation unitaire (fr)
- Einheitsresolution (de)
- Propagation unitaire (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |