horn-satisfiability
From WikiWord
English
Etymology
No etymology has been added yet.
Pronunciation
No pronunciation has been added yet.
Noun
No noun senses have been added yet.
Verb
No verb senses have been added yet.
No dictionary definition found for “horn-satisfiability”. Add a community definition below, or try a related word.
Word map
Related terms
Synonyms
satisfiability modulo theoriesboolean satisfiability problemhorn clausecircuit satisfiability problemmaximum satisfiability problem2-satisfiabilitylocal consistencyconstraint satisfaction problemdecision problemset theorysubgraph isomorphism problemsatisfiabilitysearch problemresolutionproof by contradictionsystem of equations
Usage & collocations
No usage or collocation data has been added yet.
Community definitions
Community definitions for horn-satisfiability appear here as readers add and vote on them.
Usage in the wild
Real example sentences for horn-satisfiability appear here as readers add them.