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

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

暫缺《邏輯公式的可滿足性判定：方法、工具及應(yīng)用》作者簡(jiǎn)介