2024-04-19T06:42:58Z年4月19日 https://oai.zbmath.org/v1/

oai:zbmath.org:7331015 2021-04-07T10:20:21Z 68

Audemard，Gilles；洛伊奇·波列韦；洛朗·西蒙 2020 7331015 英语 https://zbmath.org/07331015 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Pulina，Luca（编辑）等人，《可满足性测试的理论和应用——SAT 2020》。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12178, 107-113 (2020) 68问题25；68R07；68T20型 SAT遗产：由社区驱动的工作，用于归档、构建和运行数千个SAT解算器 一