{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T01:51:14Z”，“时间戳”：1648950674830}，“引用计数”：0，“发布者”：“EasyChair”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“摘要”：“在这篇工具文章中，我们描述了任天堂2019超级马里奥世界的一个变体，称为超级公式世界，它基于输入量化布尔公式创建游戏地图。因此，在超级方程式世界，马里奥，水管工不仅拯救了他的女朋友桃子公主，而且还充当了QBF解决者的一方。游戏是用Java实现的，与平台无关。我们的实现基于Aloupis等人的抽象框架，该框架允许分析各种著名视频游戏的计算复杂性。特别是，这些结果直接导致了从QSAT到超级马里奥世界的缩减。通过以精确的方式指定此减少，我们获得了超级方程式世界的核心引擎。类似地，超级方程式世界实现了从SAT到超级马里奥兄弟的简化，产生了更简单的游戏世界<\/jats:p>“，”DOI“：”10.29007\/g8g8“，”type“：”proceedings-article“，”created“：{”date-parts“：[[2018,1,23]]，”date-time“：”2018-01-23T23:04:37Z“，”timestamp“：1516748677000}，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“量化布尔公式：调用管道！”]，“前缀”：“10.29007”，“作者”：[{“给定”：“Josef”，“family”：“Lindsberger”，“sequence”：“first“，”affiliation“：[]}，{“given”：“Alexander”，“family”：“Maringele”，”sequence“：”additional“，”从属关系“：[]}，”given“：”Georg“，”family“：”Moser“，“sequence”：“additional”，“affiliance”：[]2]，“member”：“11545”，“event”：{“name”：“LPAR-21。第21届国际程序设计、人工智能和推理逻辑会议“}，”container-title“：[”EPiC Series in Computing“]，”original-title”：[]，”deposed“：{”date-parts“：[[2018,1,23]]，”date-time“：”2018-01-23T23:04:43Z“，”timestamp“：1516748683000}，“score”：1，“resource”：{“primary”:{“URL”：“https:\/\/easychair.org\/publications\/paper\/XWg“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[null]]}，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.29007\/g8g8”，“relationship”：{}、“ISSN”：[“2398-7340”]，“ISSN-type”：[{“value”：“2398-8340”，“type”打印“}]，”主题“：[]}}