理论计算机科学 可计算性与计算复杂性 释文 3-satisfiability problem, 3SAT 三元可满足性问题
- combinatory topology
- combined
- combined acoustic-vibration test method for spacecraft
- combined adjustment
- combined air conditioning equipment
- combined air-conditioning unit
- combined alignment chart
- combined analysis of five evolutive phases and six climatic factors
- combined analytical technique
- Combined anesthesia
- Combined Array for Research in Millimeter-wave Astronomy
- combined bisulfite restriction analysis
- combined bisulfite restriction analysis (COBRA)
- combined chemical flooding
- Combined Chiefs of Staff
- combined circulation
- combined classification of documents and archives
- combined cleaner
- combined compressor
- combined concentrator of multiple departments
- combined cooling
- combined cooling,heat and power
- combined cooling, heating and power
- combined cycle
- combined cycle of gas turbine