Mikolas Janota等人：QBFGallery 2014：FLoC奥运会QBF比赛。(2014) 期刊/jsat/JanotaJKLSG14 10.3233/SAT190108 QBFGallery 2014：FLoC奥运会QBF比赛。 6 米可拉斯·贾诺塔 1 查尔斯·乔丹 2 威尔·克利伯 三 弗洛里安·朗辛 4 马蒂娜·塞德尔 5 阿伦·范·盖尔德 6 187-206 J.满意。布尔模型。计算。 J.满意。布尔模型。计算。 9 1 2014 dblp记录“journals/jsat/JanotaJKLSG14”的RDF数据的来源信息 2020-08-17时间18:32:39+0200