Warning: file_put_contents(/www/wwwroot/ppbbbu/5356789.com/cache/9820fed9a63ac4bb5470002a1be11f5f.txt): failed to open stream: No space left on device in /www/wwwroot/ppbbbu/5356789.com/index.php on line 55
CEGAR是什么意思，CEGAR的翻译，CEGAR音标、读音、用法和例句_零六五六深蓝词典
零六五六深蓝词典

CEGAR

零六五六深蓝词典

基本解释

  • 基於反例的抽象精化

同根派生

     

英汉例句

  • My topspin attack especially from the backhand I learnt from my coach Neven Cegar.
    他就像你父親一樣？是的（譚瑪拉笑了起來），我跟他時間比跟我父親要長多了。
  • Counterexample-Guided Abstraction Refinement(CEGAR) algorithm
    CEGAR算法