查看最新文献
订阅
分享
2116发文信息
历年影响因子
历年发表
投稿信息
International Conference on Theory and Applications of Satisfiability Testing - 最新文献
Certified CNF Translations for Pseudo-Boolean Solving
Pub Date : 2023-08-01 DOI: 10.4230/LIPIcs.SAT.2022.16 S. Gocht, R. Martins, J. Nordström, A. OertelAlgorithms Transcending the SAT-Symmetry Interface
Pub Date : 2023-06-01 DOI: 10.48550/arXiv.2306.00613 Markus Anders, Pascal Schweitzer, M. SoosBounds on BDD-Based Bucket Elimination
Pub Date : 2023-06-01 DOI: 10.48550/arXiv.2306.00886 S. Mengel
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
