机译:从EF游戏和SAT的串网格上的不一致样品综合综合符号DNF句子
Fed Inst Educ Sci &
Technol Ceara Dept Comp Maracanau Brazil;
Univ Fed Ceara Dept Comp Fortaleza Ceara Brazil;
Univ Fed Ceara Dept Comp Fortaleza Ceara Brazil;
Grammatical inference; Boolean satisfiability; Ehrenfeucht-Fraisse games;
机译:从EF游戏和SAT的串网格上的不一致样品综合综合符号DNF句子
机译:使用EHENFEUCHT-FRAISSE游戏的串样品合成DNF公式
机译:采样交换系统的基于游戏的分布式控制器综合
机译:从弦乐样本合成DNF公式
机译:基于saT求解的广义演绎游戏策略综合