邏輯公式的可滿足性判定：方法、工具及應用

　　本書共分四章。前三章分別討論了經典的命題邏輯和一階謂詞邏輯公式以及命題模態(tài)邏輯公式的可滿足性判定算法，也提到有關的軟件工具。第四章介紹了它們在離散數(shù)學研究、軟件和硬件的形式驗證與測試等方面的應用。

暫缺《邏輯公式的可滿足性判定：方法、工具及應用》作者簡介