Warning: file_put_contents(/www/wwwroot/ppbbu/www.30232.com/cache/17234bfa7ef68a1adcf98c6e7bde8de8.txt): failed to open stream: No space left on device in /www/wwwroot/ppbbu/www.30232.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算法