QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games

QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games
复制标题

QBF Gallery 2014:2014 年 FLoC 奥运会上的 QBF 竞赛

DOI:
--
复制
发表时间:
2016
期刊:
Journal on Satisfiability, Boolean Modeling and Computation
影响因子:
--
通讯作者:
Martina Seidl and Allen Van Gelder
Martina Seidl and Allen Van Gelder
中科院分区:
--
文献类型:
--
作者:
Mikolas Janota;Charles Jordan;Will Klieber;Florian Lonsing;Martina Seidl and Allen Van Gelder

文献摘要

相似文献