简单数理逻辑及其应用
清华大学 计算机科学与技术系李恺威chnlkw@gmail.com
概述
数理逻辑命题联结词合式公式等值公式、定理范式SAT问题2-SATDPLL算法SMT问题分类应用
命题