Term

J-GLOBAL ID：200906032178944814

satisfiability problem

電子計算機
Synonyms (4)：

satisfiability problem (充足問題)
About satisfiability problem
- Search "satisfiability problem"
satisfaction problem (充足問題)
About satisfaction problem
- Search "satisfaction problem"
satisfaction problem (満足問題)
About satisfaction problem
- Search "satisfaction problem"
satisfiability problem (論理式充足可能性問題)
About satisfiability problem
- Search "satisfiability problem"

Related terms (3)：

Logic (論理)
About Logic
- Search "Logic"
- Detailed information
SAT coding (SAT符号化)
About SAT coding
- Search "SAT coding"
- Detailed information
order encoding (順序符号化)
About order encoding
- Search "order encoding"
- Detailed information

Broader terms (1)：

problem (問題)
About problem
- Search "problem"
- Detailed information

Narrower terms (1)：

Boolean satisfiability (ブール充足可能性)
About Boolean satisfiability
- Search "Boolean satisfiability"
- Detailed information

Thsaurus map：

Thesaurus Map (Notice) Synonyms included only in Sciterm are not displayed

Return to Previous Page

TOP

BOTTOM