释义 |
unsatisfiable 英'ʌn'sætɪsfaɪəbl美'ʌn'sætɪsfaɪəbl COCA²⁸⁰¹³⁶⁺⁵BNC¹⁴⁴⁶⁶⁴⁺³ 基本英英Thesaurus例句 adj.未可满足的³³;未能偿还的⁶⁷
Adjective: not capable of being satisfied;he knew the trap of unsatisfiable longing as in.insatiable 同义词 insistent,rapacious,ravenous,urgentinsatiateclamorous,crying,demanding,desiring,exigent,gluttonous,greedy,importunate,intemperate,pressing,quenchless,unappeasable,unquenchable,unsatisfied,yearning 反义词 fulfilled,full,pleased,satiable,satisfiedas in.unsatisfied 同义词 unhappy 反义词 satisfied insatiableadjective voracious, wanting clamorous,crying,demanding,desiring,exigent,gluttonous,greedy,importunate,insatiate,insistent,intemperate,pressing,quenchless,rapacious,ravenous,unappeasable,unquenchable,unsatisfied,urgent,yearning unsatisfiedadjective unfulfilled unhappy,unsatisfiable A CNF formula F is minimal unsatisfiable if F is unsatisfiable and the resulting formula deleting anyone clause from F is satisfiable. 一个公式是极小不可满足的是指该公式本身不可满足,而且从中删去任意一个子句后得到的公式可满足。 iciba Research on minimal unsatisfiable formula and its subclasses is an active topic that begins to surface in recent years. 对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。 cnki Restricted on the proof of unsatisfiability of unsatisfiable formulas, a modified DPLL— RSMLS algorithm is presented. 限制在不可满足公式的不可满足性的证明,给出了一个改进的 DPLL算法— RSMLS。 dictall |