软件搜索-zbMATH Open

斯基佐

swMATH ID:	40002
软件作者：	马可·贝内德蒂
描述：	sKizzo：用于评估和认证QBF的套件。我们提出了sKizzo，一个通过命题skolemization和符号推理来评估和证明QBFs的系统
主页：	https://dl.acm.org/doi/10.1007/11532231_27
相关软件：	Quantor公司；库布斯；Quaffle餐厅；部门QBF；QUBE公司；尼诺菲克斯；布洛克；魁北克++；罕见的QS；QBFLIB公司；semprop公司；QESTO公司；CAQE公司；4.5条；sQueezeBF公司；超小卫星；圆圈Qit2；PicoSAT卫星；伦敦银行支持向量机；QBFEVAL公司
引用于：	18文件

1出版物描述软件，包括1出版物在zbMATH中	年份
sKizzo：用于评估和认证QBF的套件。 Zbl 1135.68550号马尔科·贝内代蒂	2005

三	阿明·比尔
2	弗洛里安·朗辛
2	卢卡·普利纳
2	马蒂娜·塞德尔
2	阿曼多·塔切拉
1	阿克西，S。
1	法希姆·巴克斯
1	瓦莱里·巴拉巴诺夫
1	马可·贝内德蒂（Marco H.Benedetti）。
1	奥拉夫·拜尔斯多夫
1	乔舒亚·布林霍恩
1	罗德里克·布洛姆
1	罗伯特·K·布雷顿。
1	查克拉波蒂，苏普拉特克
1	克拉克（Edmund Melson jun Clarke）。
1	拜伦·库克
1	达莫塔，贝诺特
1	埃格利，乌韦
1	伊恩·菲利普·根特
1	亚历山大·古提亚耶娃
1	Heule，Marijn J.H。
1	维姬·艾弗森
1	米科拉什·亚诺塔
1	蒋洁红·罗兰
1	John，Ajith K。
1	威廉·克利伯
1	罗马人孔查科夫
1	丹尼尔·科宁
1	米纳·马哈扬
1	Joáo P.塞尔瓦侯爵。
1	阿兰·米什琴科
1	Peter W.南丁格尔。
1	马库斯·拉贝。
1	安德鲁·罗利（Andrew G.D.Rowley）。
1	菲利普·吕默
1	克里斯托夫·斯科尔
1	桑吉特·阿伦库马尔·塞希亚
1	谢塔尔·沙阿
1	斯特凡·斯塔珀
1	圣潘，伊戈尔
1	科斯塔斯·斯特乔
1	Christoph M.温特斯泰格。
1	弗兰克·沃尔特
1	斯特凡·沃尔特兰
1	迈克尔·维克托洛维奇（Michael Viktorovich）