satisfiable英 ['sætɪsˌfaɪəbl] 美 ['sætɪsˌfaɪəbəl]
adj.可以满足的;
英英释义
satisfiable[ 'sætisfaiəbl ]
- adj.capable of being sated
同义词:satiable
权威例句
Generating Satisfiable Problem InstancesApproximating satisfiable satisfiability problemsConditional hardness for satisfiable 3-CSPsApproximating Satisfiable Satisfiability Problems (Extended Abstract)A simple model to generate hard satisfiable instancesA spectral technique for random satisfiable 3CNF formulasFinding maximally satisfiable terminologies for the description logic ALCBalance and filtering in structured satisfiable problemsRandom constraint satisfaction: easy generation of hard (satisfiable) instancesExponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas