Search Results - 命题逻辑可满足性问题求解 :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Vyzkoušejte nový nástroj s podporou AI Summon Research Assistant BETA

Cover Image

命题逻辑可满足性问题求解器的新型预处理子句消去方法

by 宁欣然, 徐扬, 陈振颂
Published in 计算机集成制造系统 (01.08.2020)

Get full text

Journal Article

Cover Image

An efficient decision-making method based on a binary field

by LIU JIANG, ZHOU HONGHAO
Year of Publication 11.12.2018

Get full text

Patent

Cover Image

基于一阶逻辑的可满足求解方法研究进展

by 张建民, 黎铁军, 马柯帆, 肖立权
Published in 计算机工程与科学 (2019)

Get full text

Journal Article

Cover Image

基于线性规划的布尔可满足性判定方法

Year of Publication 24.06.2025

Get full text

Patent

Cover Image

SYSTEMS AND METHODS FOR GENERATIVE LEARNING

by MACREADY WILLIAM G, CHUDAK FABIAN ARIEL, BIAN ZHENGBING
Year of Publication 09.11.2018

Get full text

Patent