Horn-satisfiability (Q1239194)
Jump to navigation
Jump to search
computational problem
- HORNSAT
- Horn-SAT
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Horn-satisfiability |
computational problem |
|
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- enwiki Horn-satisfiability
- fawiki صدقپذیری هورن
- frwiki Horn-satisfiabilité
- huwiki Horn-kielégíthetőség
- ptwiki Satisfatibilidade de Horn